law cmp_refl

bend-mathlib@0.8.1.0 · bool.bend:411

import Base

411# Comparing a boolean with itself gives EQ.
412law cmp_refl:
413  for b: Bool
414  {Bool.cmp(b, b) == EQ{} : Cmp}