Documentation

Type check a sequence of declarations.

Type check a single declaration.

Infer the type of an expression. Implemented by checking against a meta variable. Except for neutrals, for them a polymorphic type is inferred.

Type check an expression.