API reference
python:irx:irx.analysis.SemanticPhase
class SemanticPhase
SemanticPhase(name: str, entrypoints: tuple[str, ...], guarantees: tuple[str, ...])
Source: packages/irx/src/irx/analysis/contract.py:25
Declared as: python:irx:irx.analysis.contract.SemanticPhase
One stable semantic phase.
Describe one externally-visible stage in the semantic pipeline and the guarantees it establishes for later lowering.
Attributes
-
name — Type: str
-
entrypoints — Type: tuple[str, Ellipsis]
-
guarantees — Type: tuple[str, Ellipsis]
Methods
- __init__ —
Attributes
-
name —