Monad_plus.CORE
Basis operations.
include Indexed_monad.WITH_RETURN with type ('a, 'index) t := 'a t
include Indexed_monad.WITH_RETURN with type ('a, 'index) t := 'a t
include Indexed_monad.WITH_RETURN with type ('a, 'index) t := 'a t
val return : 'a -> 'a t
Lift a value into a t
.
val neutral : 'a t
The neutral element of the t
.