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


            
            --


            def f (xs : List Nat) : List Nat :=

            
              xs.map (fun x => x + 1) [1]
	--

	def f (xs : List Nat) : List Nat :=
	xs.map (fun x => x + 1) [1]