~/jendhub

def aria_unop_op

bend-osdev-aria@0.1.0.0 · PROOF.bend:6658

import bend-osdev-aria@0.1.0.0/PROOF.bend as PROOF
import Base
import bend-osdev-aria@0.1.0.0/aria.bend as A

6658def aria_unop_op(o: A.LcAriaOp, +s: A.LcAriaSt) -> {s == A.aria.unop(o, A.aria.op(o, s)) : A.LcAriaSt}:
6659  match o:
6660    case A.LcAriaRk{+k}:
6661      aria_xor2(s, k)
6662    case A.LcAriaSl1{}:
6663      aria_sl21(s)
6664    case A.LcAriaSl2{}:
6665      aria_sl12(s)
6666    case A.LcAriaDiff{}:
6667      aria_diff(s)

Uses (8)

Used by (1)