Base.TypeSubst

type TypeSubst

class SubstType a

bindVar

substVar

expandType

expandAliasType

normalize

idSubst

singleSubst

bindSubst

compose