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


            
            funExpected.lean:4:2: error: function expected at

            
              List.map (fun (x : Nat) => x + 1) xs

            
            term has type

            
              List ?m
	funExpected.lean:4:2: error: function expected at
	List.map (fun (x : Nat) => x + 1) xs
	term has type
	List ?m