Module GenM

Monadic Interface

status: experimental

since
0.4
module type MONAD = GenM_intf.MONAD
module Make : functor (M : MONAD) -> GenM_intf.S with module M = M