Indexed_monad.CORE
Basis operations.
include WITH_RETURN with type ('a, 'index) t := ('a, 'index) t
include WITH_RETURN with type ('a, 'index) t := ('a, 'index) t
include Indexed_bind.WITH_MAP_AND_JOIN
with type ('a, 'index) t := ('a, 'index) t
include WITH_RETURN with type ('a, 'index) t := ('a, 'index) t
val return : 'a -> ('a, 'index) t
Lift a value into a t
.