Module AAC_matcher.Subst


module Subst: sig .. end
Substitutions (or environments)

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