Module CCSexpM.ID_MONAD

module ID_MONAD: MONAD  with type 'a t = 'a

The monad that just uses blocking calls as bind
Since 0.16

type 'a t

val return : 'a -> 'a t

val (>>=) : 'a t -> ('a -> 'b t) -> 'b t