def b.or_false_r

bend-osdev-apparmor@0.1.0.0 · PROOF.bend:28

import Base

28def b.or_false_r(+a: Bool) -> {Bool.or(a, False{}) == a : Bool}:
29  match a:
30    case True{}:
31      {==}
32    case False{}:
33      {==}