sig
  type t
  val sprint : AAC_matcher.Subst.t -> string
  val instantiate :
    AAC_matcher.Subst.t -> AAC_matcher.Terms.t -> AAC_matcher.Terms.t
  val to_list :
    AAC_matcher.Subst.t -> (AAC_matcher.var * AAC_matcher.Terms.t) list
end