law Numeric.bool_cmp_eq

gralha-bendquest@0.1.0.0 · numeric.bend:375

import Base

375law Numeric.bool_cmp_eq:
376  for +a: Bool
377  for +b: Bool
378  for +equal: {Bool.cmp(a, b) == EQ{} : Cmp}
379  {a == b : Bool}