SSTG.Core.Language.Typing

varType

litType

atomType

primfunType

dataconType

altType

exprType