SSTG-0.1.0.5: STG Symbolic Execution
SSTG.Core.Syntax.Typecheck
Description
Typing Module
varType :: Var -> Type Source #
litType :: Lit -> Type Source #
atomType :: Atom -> Type Source #
primFunType :: PrimFun -> Type Source #
dataConType :: DataCon -> Type Source #
altType :: Alt -> Type Source #
exprType :: Expr -> Type Source #