def b.and_true_r

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

import bend-osdev-apparmor@0.1.0.0/PROOF.bend as PROOF

import Base

42def b.and_true_r(+a: Bool) -> {Bool.and(a, True{}) == a : Bool}:
43  match a:
44    case True{}:
45      {==}
46    case False{}:
47      {==}

Uses (2)

Bool
Bool.and

Used by (0)

No other definition uses this definition.