Up
–
generalised_signatures
»
Generalised_signatures
»
Monads
» List
Module
Monads.List
val
return :
'a
->
'a
list
val
bind :
'a
list
->
(
'a
->
'b
list
)
->
'b
list