Up
–
crypto_params
»
Crypto_params
»
Tock
»
Typ
» Internal
Module
Typ.Internal
val
snarkless :
'a
->
(
'a
,
'a
)
t
val
ref :
unit
->
(
'a
As_prover.Ref.t
,
'a
)
t