Up
–
snarky_curve
»
Snarky_curve
»
Make_checked
»
1-Inputs
»
Impl
»
Run_and_check_deferred
» 1-M
Parameter
Run_and_check_deferred.1-M
type
_ t
val
return :
'a
->
'a
t
val
map :
'a
t
->
f:
(
'a
->
'b
)
->
'b
t