def b.or_idem

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

import Base

3200def b.or_idem(+a: Bool) -> {Bool.or(a, a) == a : Bool}:
3201  match a:
3202    case True{}:
3203      {==}
3204    case False{}:
3205      {==}