Module Monad.MakeSource

Parameters

Signature

include Monad_intf.S1_base with type 'a t := 'a M.t
val return : 'a -> 'a M.t
val (>>=) : 'a M.t -> ('a -> 'b M.t) -> 'b M.t
Sourcemodule O : sig ... end