Up
–
cooltt
»
Basis
»
Monad
»
Notation
» M
Parameter
Notation.M
type
'a m
val
ret :
'a
->
'a
m
val
bind :
'a
m
->
(
'a
->
'b
m
)
->
'b
m