~/jendhub

def aria_op_unop

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

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

6669def aria_op_unop(o: A.LcAriaOp, +s: A.LcAriaSt) -> {s == A.aria.op(o, A.aria.unop(o, s)) : A.LcAriaSt}:
6670  match o:
6671    case A.LcAriaRk{+k}:
6672      aria_xor2(s, k)
6673    case A.LcAriaSl1{}:
6674      aria_sl12(s)
6675    case A.LcAriaSl2{}:
6676      aria_sl21(s)
6677    case A.LcAriaDiff{}:
6678      aria_diffd(s)

Uses (8)

Used by (1)