nkdsl.ir.updateΒΆ
Typed site-update IR nodes for symbolic operators.
Classes
|
Special type indicating an unconstrained type. |
|
One primitive site-update operation. |
|
Ordered immutable sequence of site-update operations. |
Typed site-update IR nodes for symbolic operators.
Classes
|
Special type indicating an unconstrained type. |
|
One primitive site-update operation. |
|
Ordered immutable sequence of site-update operations. |