links

The Links Programming Language
IN THIS PACKAGE
Module Links_core . Env
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