def un.maj

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

import Base

495# the carry out of Word.adc(n, a, b, False, c)
496def un.maj(x: Bool, y: Bool, c: Bool) -> Bool:
497  match x:
498    case False{}:
499      Bool.and(y, c)
500    case True{}:
501      Bool.or(y, c)