SSTG.Core.Language.Typing

varType

litType

atomType

primFunType

dataConType

altType

exprType