method __init__

__init__(name: str, entrypoints: tuple[str, ...], guarantees: tuple[str, ...]) -> None

Generated from the class declaration.

Source: packages/irx/src/irx/analysis/contract.py:25

Declared as: python:irx:irx.analysis.contract.SemanticPhase.__init__