nkdsl.ir.programΒΆ

Top-level symbolic operator IR container.

Functions

debug_event(msg, *[, scope, pass_name, tag, ...])

Structured debug event with scope and optional pass filtering.

Classes

Any(*args, **kwargs)

Special type indicating an unconstrained type.

SymbolicIRTerm(name, iterator, predicate, ...)

One primitive declarative symbolic operator term.

SymbolicOperatorIR(operator_name, mode, ...)

Immutable symbolic operator IR container.