Structs

’cg = the duration of the constraint generation process itself.

Functions

When recording facts for Polonius, records the borrows on the specified local as killed.