val build_subst :
int -> 'a Terms.foterm -> 'a Terms.substitution ->
'a Terms.substitution
- val lookup_subst :
+ val lookup :
int -> 'a Terms.substitution -> 'a Terms.foterm
val filter : 'a Terms.substitution -> Terms.varlist -> Terms.varlist
val apply_subst :