module Subst (B : Terms.Blob) :
sig
- val empty_subst : B.t Terms.substitution
- val buildsubst :
+ val id_subst : B.t Terms.substitution
+ val build_subst :
int -> B.t Terms.foterm -> B.t Terms.substitution ->
B.t Terms.substitution
val lookup_subst :
- B.t Terms.foterm -> B.t Terms.substitution -> B.t Terms.foterm
+ int -> B.t Terms.substitution -> B.t Terms.foterm
val filter : B.t Terms.substitution -> Terms.varlist -> Terms.varlist
end