Wrap.Lookup_parameterstype ('chal, 'chal_var, 'fp, 'fp_var) t = {zero : ( 'chal, 'chal_var, 'fp, 'fp_var ) Zero_values.t; |
use : Pickles_types.Plonk_types.Opt.Flag.t; |
}val opt_spec :
'f Spec.impl ->
( 'a, 'b, 'c Pickles_types.Hlist0.Id.t, 'd Pickles_types.Hlist0.Id.t ) t ->
( ('a Scalar_challenge.t * ('c * unit)) Pickles_types.Hlist.HlistId.t option,
( ('b Scalar_challenge.t * ('d * unit)) Pickles_types.Hlist.HlistId.t,
'f Snarky_backendless.Cvar.t Snarky_backendless.Boolean.t )
opt,
< bool1 : bool
; bool2 : 'f Snarky_backendless.Cvar.t Snarky_backendless.Boolean.t
; challenge1 : 'a
; challenge2 : 'b
; field1 : 'c
; field2 : 'd.. > )
Spec.T.t