Assertion.curry 9.87 KB