1 2 3 4 5 6
Type error: error: AssertMismatch --> <current file>:1:1 | 1 | assert : -0.0 ≡ +0.0 | ^^^^^^^^^^^^^^^^^^^^ AssertMismatch |