method __init__

__init__(phase: str, raises: str, surfaces: tuple[str, ...], summary: str) -> None

Generated from the class declaration.

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