Up
–
Index
»
rocq-runtime
»
Unification
»
Metamap
»
Monad
» M
Parameter
Monad.M
type
+'a t
val
return :
'a
->
'a
t
val
(>>=) :
'a
t
->
(
'a
->
'b
t
)
->
'b
t