Top_closure (p.lsp.1.4.1.doc.lsp.stdune.Stdune.Top

Source

module Int : 
  Top_closure_intf.S with type key := int and type 'a monad := 'a Monad.Id.t

Source

module String : 
  Top_closure_intf.S with type key := string and type 'a monad := 'a Monad.Id.t

Source

module Make
  (Keys : Top_closure_intf.Keys)
  (Monad : Monad_intf.S1) : 
  Top_closure_intf.S with type key := Keys.elt and type 'a monad := 'a Monad.t