Skip to main content

Module recorded

Module recorded 

Source
Expand description

RecordedModule - the compiler’s input type.

Bundles the recorded FunctionProto body. Per the chosen-path install contract, the IR carries no concrete instance state — install constructs every concrete via the inventory’s construct_fn, so the recorder doesn’t capture (serialize_fn, restore_fn) side tables.

Structs§

RecordedModule
Hand-off bundle between the DSL Graph (recording surface) and the compiler (consumer).