SSTG.Core.Syntax.Typecheck

varType

litType

atomType

primFunType

dataConType

altType

exprType