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


            
            -- reject to avoid confusion with `fun x : Nat =>`

            
            #check fun (x : Nat) : Nat => x
	-- reject to avoid confusion with `fun x : Nat =>`
	#check fun (x : Nat) : Nat => x