def off.band_f

bend-osdev-bytes@0.1.1.0 · PROOF.bend:1272

import Base

1272def off.band_f(+b: Bool) -> {Bool.and(b, False{}) == False{} : Bool}:
1273  match b:
1274    case True{}:
1275      {==}
1276    case False{}:
1277      {==}