Up
–
mavkit-libs
»
Mavryk_base
»
Skip_list
»
Make
»
Make_monadic
» M
Parameter
Make_monadic.M
type
'a t
val
bind :
'a
t
->
(
'a
->
'b
t
)
->
'b
t
val
return :
'a
->
'a
t