val lookup_subst :
int -> B.t Terms.substitution -> B.t Terms.foterm
val filter : B.t Terms.substitution -> Terms.varlist -> Terms.varlist
val lookup_subst :
int -> B.t Terms.substitution -> B.t Terms.foterm
val filter : B.t Terms.substitution -> Terms.varlist -> Terms.varlist