Module AAC_matcher.Subst

module Subst: 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