API reference
python:arxpy:arxpy.CheckedProgram.__init__
method __init__
__init__(parsed: ParsedProgram) -> None
Source: packages/arxpy/src/arxpy/compiler.py:133
Declared as: python:arxpy:arxpy.compiler.CheckedProgram.__init__
Initialize a semantically checked program.
Parameters
- parsed — Type: ParsedProgram