Decide evaluates an atom of a built-in predicate.

GetBuiltinFunctionType returns the type of a builtin function.

IsBuiltinFunction returns true if sym is a builtin function.

IsReducerFunction returns true if sym is a reducer function.

NewTypeChecker returns a new TypeChecker.

NewTypeCheckerFromDesugared returns a new TypeChecker.

Functions has all built-in functions.

Predicates has all built-in predicates.

ReducerFunctions has those built-in functions with are reducers.

TypeChecker checks the type of constant (run-time type).