Module GenM

module GenM: sig .. end

Monadic Interface

status: experimental


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