Top_closure (p.top-closure.3.21.0.doc.top-closure.Top

Sourcemodule type Monad = sig ... end

Sourcemodule type Keys = sig ... end

Sourcemodule type Top_closure = sig ... end

module Make
  (Keys : Keys)
  (Monad : Monad) : 
  Top_closure with type key := Keys.elt and type 'a monad := 'a Monad.t