package top-closure

You can search for identifiers within the package.

in-package search v0.2.0

Topological Closure

Install

dune-project

Dependency

sha256=0a8eaa62dfcb945802bcaf9a6f2026ca5228333ee391a1bdedd3e70a3f26ea2c

sha512=b9faebfa70cf87e5eb582a0cdd1cb2aa99b8195342afdd7f462365444a0a904819cacc8522a5a85800ed2281f84e82d49360010de7ff16e28047a74df9258e5e

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