Up – Package index » gen » Library gen » GenM

Module `GenM`Source

Monadic Interface

status: experimental

Sourcemodule type MONAD = GenM_intf.MONAD

Sourcemodule Make (M : MONAD) : GenM_intf.S with module M = M