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


            
            f 1 fun x => x : Nat

            
            f 1 fun x => x : Nat

            
            f 1 fun x => x : Nat

            
            f 1 fun x => x : Nat

            
            f 1 fun x => x : Nat
	f 1 fun x => x : Nat
	f 1 fun x => x : Nat
	f 1 fun x => x : Nat
	f 1 fun x => x : Nat
	f 1 fun x => x : Nat