M (kxclib.Kxclib.MonadOps.M)

type _ t

val return : 'x -> 'x t

val bind : 'x t -> ('x -> 'y t) -> 'y t