HOL.Subst
data Subst
mk
mkUnsafe
dest
fromList
fromListUnsafe
empty
singleton
singletonUnsafe
null
capturableVars
renameBoundVar
avoidCapture
varSubst
dataSubst
class CanSubst a