Compiled (pickles.Pickles.Types

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

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

proofs_verifieds : ( int, 'branches ) Pickles_types.Vector.t;

wrap_domains : Pickles_base.Domains.t;

step_domains : ( Pickles_base.Domains.t, 'branches ) Pickles_types.Vector.t;

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

}

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 : ( int, 'branches ) Pickles_types.Vector.t;

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

wrap_key : Backend.Tick.Inner_curve.Affine.t
             Pickles_types.Plonk_verification_key_evals.t
             Stdlib.Lazy.t;

wrap_vk : Impls.Wrap.Verification_key.t Stdlib.Lazy.t;

wrap_domains : Pickles_base.Domains.t;

step_domains : ( Pickles_base.Domains.t, 'branches ) Pickles_types.Vector.t;

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

}