sig
  val add : string -> unit
  val add_file : string -> unit
  val contains_value : string -> string -> bool
  val contains_file : string -> bool
end