Module Types_map.Basic

type ('var, 'value, 'n1, 'n2) t = {
max_proofs_verified : (module Pickles_types.Nat.Add.Intf with type n = 'n1);
public_input : ( 'var, 'value ) Impls.Step.Typ.t;
branches : 'n2 Pickles_types.Nat.t;
wrap_domains : Pickles_base.Domains.t;
wrap_key : Backend.Tick.Inner_curve.Affine.t Pickles_types.Plonk_verification_key_evals.t;
wrap_vk : Impls.Wrap.Verification_key.t;
step_uses_lookup : Pickles_types.Plonk_types.Opt.Flag.t;
}