Module Core_bench.Bench_result.Predictor_result.Fields.Direct

val iter : t ‑> pred:(([< `Read | `Set_and_create ], tVariable.tFieldslib.Field.t_with_perm ‑> t ‑> Variable.t ‑> 'a) ‑> coefficient:(([< `Read | `Set_and_create ], tCoefficient.tFieldslib.Field.t_with_perm ‑> t ‑> Coefficient.t ‑> 'b) ‑> 'b
val fold : t ‑> init:'a ‑> pred:('a ‑> ([< `Read | `Set_and_create ], tVariable.tFieldslib.Field.t_with_perm ‑> t ‑> Variable.t ‑> 'b) ‑> coefficient:('b ‑> ([< `Read | `Set_and_create ], tCoefficient.tFieldslib.Field.t_with_perm ‑> t ‑> Coefficient.t ‑> 'c) ‑> 'c
val for_all : t ‑> pred:(([< `Read | `Set_and_create ], tVariable.tFieldslib.Field.t_with_perm ‑> t ‑> Variable.t ‑> bool) ‑> coefficient:(([< `Read | `Set_and_create ], tCoefficient.tFieldslib.Field.t_with_perm ‑> t ‑> Coefficient.t ‑> bool) ‑> bool
val exists : t ‑> pred:(([< `Read | `Set_and_create ], tVariable.tFieldslib.Field.t_with_perm ‑> t ‑> Variable.t ‑> bool) ‑> coefficient:(([< `Read | `Set_and_create ], tCoefficient.tFieldslib.Field.t_with_perm ‑> t ‑> Coefficient.t ‑> bool) ‑> bool
val to_list : t ‑> pred:(([< `Read | `Set_and_create ], tVariable.tFieldslib.Field.t_with_perm ‑> t ‑> Variable.t ‑> 'a) ‑> coefficient:(([< `Read | `Set_and_create ], tCoefficient.tFieldslib.Field.t_with_perm ‑> t ‑> Coefficient.t ‑> 'a) ‑> 'a list
val map : t ‑> pred:(([< `Read | `Set_and_create ], tVariable.tFieldslib.Field.t_with_perm ‑> t ‑> Variable.t ‑> Variable.t) ‑> coefficient:(([< `Read | `Set_and_create ], tCoefficient.tFieldslib.Field.t_with_perm ‑> t ‑> Coefficient.t ‑> Coefficient.t) ‑> t
val set_all_mutable_fields : 'a ‑> unit