Up
–
snarky
»
Snarky_backendless
»
Merkle_tree
»
Run
»
Make
»
1-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