package gen

  1. Overview
  2. Docs
On This Page
  1. Monadic Interface

Module GenMSource

Monadic Interface

status: experimental

  • since 0.4
Sourcemodule type MONAD = GenM_intf.MONAD
Sourcemodule Make (M : MONAD) : GenM_intf.S with module M = M