tests/lean/1760.lean.expected.out - third_party/github.com/leanprover/lean4 - Git at Google


            
            1760.lean:2:31-3:6: error: unexpected token '#check'; expected ':', ']' or term

            
            () : Unit
	1760.lean:2:31-3:6: error: unexpected token '#check'; expected ':', ']' or term
	() : Unit