For_step (pickles.Pickles.Types_map.For

type ('a_var, 'a_value, 'max_proofs_verified, 'branches) t = {

branches : 'branches Pickles_types.Nat.t;

max_proofs_verified : (module Pickles_types.Nat.Add.Intf
  with type n = 'max_proofs_verified);

proofs_verifieds : [ `Known of
                       ( Impls.Step.Field.t, 'branches ) Pickles_types.Vector.t
                   | `Side_loaded ];

public_input : ( 'a_var, 'a_value ) Impls.Step.Typ.t;

wrap_key : inner_curve_var Pickles_types.Plonk_verification_key_evals.t;

wrap_domain : [ `Known of Pickles_base.Domain.t
              | `Side_loaded of
                Impls.Step.field Pickles_base.Proofs_verified.One_hot.Checked.t ];

step_domains : [ `Known of
                   ( Pickles_base.Domains.t, 'branches ) Pickles_types.Vector.t
               | `Side_loaded ];

step_uses_lookup : Pickles_types.Plonk_types.Opt.Flag.t;

}

val of_side_loaded : ( 'a, 'b, 'c, 'd ) Side_loaded.t -> ( 'a, 'b, 'c, 'd ) t

val of_compiled : ( 'a, 'b, 'c, 'd ) Compiled.t -> ( 'a, 'b, 'c, 'd ) t