def un.band_f

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

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

import Base

1915def un.band_f(x: Bool) -> {Bool.and(x, False{}) == False{} : Bool}:
1916  match x:
1917    case True{}:
1918      {==}
1919    case False{}:
1920      {==}

Uses (2)

Used by (1)

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