method check

check(program: ParsedProgram) -> CheckedProgram

Source: packages/arxpy/src/arxpy/compiler.py:532

Run semantic analysis without lowering or materialization.

Parameters

• program — Type: ParsedProgram

Returns

Type: CheckedProgram