UpdatesΒΆ
Update programs describe how one active branch rewrites x into x'.
The user-facing builder is nkdsl.Update, but most code starts from the
module-level helpers.
Update programs describe how one active branch rewrites x into x'.
The user-facing builder is nkdsl.Update, but most code starts from the
module-level helpers.