Up
–
sponge
»
Sponge
»
Make_debug_sponge
»
P
»
Circuit
»
Run_and_check_deferred
» M
Parameter
Run_and_check_deferred.M
type
_ t
val
return :
'a
->
'a
t
val
map :
'a
t
->
f
:
(
'a
->
'b
)
->
'b
t