Side_loaded.Permanenttype ('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; |
step_uses_lookup : Pickles_types.Plonk_types.Opt.Flag.t; |
branches : 'n2 Pickles_types.Nat.t; |
}