law Numeric.bool_cmp_refl

gralha-bendquest@0.1.0.0 · numeric.bend:309

import Base

309law Numeric.bool_cmp_refl:
310  for +bit: Bool
311  {Bool.cmp(bit, bit) == EQ{} : Cmp}