1
consts
2
subst :: ('a => ('a,'b)term) => ('a,'b)term => ('a,'b)term
3
substs :: ('a => ('a,'b)term) => ('a,'b)term list => ('a,'b)term list