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
.