Up
–
snarky
»
Snarky_backendless
»
As_prover
» Handle
Module
As_prover.Handle
val
value :
(
'var
,
'value
)
Handle.t
->
(
'value
,
'f
)
Types.As_prover.t