module Subst:Substitutions (or environments)sig
..end
The module AAC_matcher.Subst
contains infrastructure to deal with
substitutions, i.e., functions from variables to terms. Only a
restricted subsets of these functions need to be exported.
As expected, a particular substitution can be used to
instantiate a pattern.
type
t
val sprint : t -> string
val instantiate : t -> AAC_matcher.Terms.t -> AAC_matcher.Terms.t
val to_list : t -> (AAC_matcher.var * AAC_matcher.Terms.t) list