Expand description
Semantic step values as the core holds them after validation.
Enums§
- SemKind
- The value kind a semantic step produces once bound (spec 002, 3.9.3).
- SemValue
- One validated semantic value.
Type Aliases§
- SemInstances
- A semantic step’s instances, keyed by instance key (empty for a step without fan-out).