Module Definitions

module Definitions: sig .. end
Support for definitions.

type t 
The type of definitions, that is bindings from names to values.
val make : unit -> t
Create an empty set of definitions.
val get : t -> string -> string
get defs name returns the value associated to name in defs.
val add : t -> string -> string -> unit
add defs name value adds a binding from name to value to the set of definitions defs.
val add_from_file : t -> string -> unit
add_from_file defs filename adds the bindings read from the file named filename to the set of definitions defs.