def un.sum

bend-osdev-u32@0.1.0.0 · PROOF.bend:503

import bend-osdev-u32@0.1.0.0/PROOF.bend as PROOF

import Base

503def un.sum(x: Bool, y: Bool, c: Bool) -> Bool:
504  match x:
505    case False{}:
506      Bool.xor(y, c)
507    case True{}:
508      Bool.not(Bool.xor(y, c))

Uses (3)

Used by (1)

bend-osdev-u32@0.1.0.0/PROOF:un.cell