package top-closure

You can search for identifiers within the package.

in-package search v0.2.0

Topological Closure

Install

dune-project

Dependency

sha256=472798691b0216daf538709f0f4703b3617ef24ad0866c9096068baaba4d762a

sha512=13082a66a28e940d4b3c9f78b556f6c1455987cd522355ba4502e01e60a3d002d3101b51284726ae21aa87494efa2dc54d016173f05b616bbc5dad714d5714a3

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