A #run directive and the procedure it runs.
Fields
- base: Code_Node
- procedure: *Code_Procedure_Header
- flags: enum u32 { ASSERTION :: 0x1; STALLABLE :: 0x2; SYNTACTICALLY_IMPLICIT :: 0x4; HAS_IMPLICIT_RETURN_TYPES :: 0x8; }
- assertion_string: string
A #run directive and the procedure it runs.