Up
–
generalised_signatures
»
Generalised_signatures
»
Monads
» Monad
Module type
Monads.Monad
type
_ t
val
return :
'a
->
'a
t
val
bind :
'a
t
->
(
'a
->
'b
t
)
->
'b
t