1 2 3 4 5 6
Type error: error: unbound variable ``_`` --> <current file>:1:47 | 1 | assert : (\(_: Bool) -> _) === (\(x: Bool) -> _) | ^ not found in this scope |