Up
–
pickles
»
Pickles
»
Impls
»
Step
»
Typ
» Internal
Module
Typ.Internal
val
snarkless :
'a
->
(
'a
,
'a
)
t
val
ref :
unit
->
(
'a
As_prover.Ref.t
,
'a
)
t