package links

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

Environments.

module type S = sig ... end

Output signature of the functor Env.Make.

module Make
  (Ord : Utility.OrderedShow) : 
  S with type name = Ord.t and module Dom = Utility.Set.Make(Ord)

Functor building an implementation of the env structure given a totally-ordered, showable type.

Some pre-built environments with common key types

module String : 
  S
    with type name = string
     and module Dom = Utility.Set.Make(Utility.String)
     and module Dom = Utility.StringSet

Pre-built environment with strings for names

module Int : 
  S
    with type name = int
     and module Dom = Utility.Set.Make(Utility.Int)
     and module Dom = Utility.IntSet

Pre-built environment with integers for names