Something went wrong. Try again.
forked from gbury/dolmen
Something went wrong. Try again.
123456File "tests/typing/errors/var_application/error.smt2", line 2, character 24-29:2 | (assert (let ((x 0)) (= (x x) 0))) ^^^^^Error Cannot apply arguments to term variable xHint: This statement was parsed as a first-order statement