Module constructs 

The statement kinds, data usages and options a compiled program holds, which decide the assumptions of the register a run of it names (numeric::governs). Both executors take them from here, and a load module carries them.

Functions

of

of_run

A run’s own facts beside its programs’: how it was made.