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