sig
  type t
  type env
  val mk : bool * string -> Resource.??.t
  val matchit : Resource.??.t -> string -> Resource.??.env option
  val subst : Resource.??.env -> Resource.??.t -> string
  val print_env : Format.formatter -> Resource.??.env -> unit
end