- int -> B.t Terms.substitution -> B.t Terms.foterm
- val filter : B.t Terms.substitution -> Terms.varlist -> Terms.varlist
- end
+ int -> 'a Terms.substitution -> 'a Terms.foterm
+ val filter : 'a Terms.substitution -> Terms.varlist -> Terms.varlist
+ val apply_subst :
+ 'a Terms.substitution -> 'a Terms.foterm -> 'a Terms.foterm
+ val concat:
+ 'a Terms.substitution -> 'a Terms.substitution ->
+ 'a Terms.substitution
+(* end *)