def b.and_false_r

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

import Base

35def b.and_false_r(+a: Bool) -> {Bool.and(a, False{}) == False{} : Bool}:
36  match a:
37    case True{}:
38      {==}
39    case False{}:
40      {==}