HOL.TypeSubst
data TypeSubst
mk
dest
fromList
empty
singleton
null
varSubst
dataSubst
class CanSubst a
compose