Module typecheck 

Enums

TypeError

Functions

infer_last_type

Parse a source string and return the type of the last expression.

type_of_expr

type_of_stmt

typecheck

typecheck_program

Parse + typecheck a full source string; returns the type environment.

typecheck_stmts_anyhow

If you already have an AST and want the env with anyhow errors.

Type Aliases

TypeEnv