def b.or_assoc

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

import Base

21def b.or_assoc(+a: Bool, +b: Bool, +c: Bool) -> {Bool.or(Bool.or(a, b), c) == Bool.or(a, Bool.or(b, c)) : Bool}:
22  match a:
23    case True{}:
24      {==}
25    case False{}:
26      {==}