sig
  type t
  val make : unit -> Definitions.t
  val get : Definitions.t -> string -> string
  val add : Definitions.t -> string -> string -> unit
  val add_from_file : Definitions.t -> string -> unit
end