package top-closure

You can search for identifiers within the package.

in-package search v0.2.0

Module `Top_closure`Source

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