Module extension 

The builtins of the exact extension, read and run once for every value model. A program calls them by name (infinitesimal, standardPart, tripCount, …), the declarations and the supertask engine’s resolved loops call them too, and the interpreter and a compiled program both answer through call, so a builtin computes the same value and refuses in the same words on every tier.

Enums

Builtin

A builtin of the exact extension.

Functions

call

builtin applied to args, which number as many as the builtin takes (the checker refuses a call with any other count before a program runs).