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


            
            (fun x => x) Nat : Type

            
            let_fun x := Nat;

            
            x : Type

            
            Nat : Type

            
            let_fun x := Nat;

            
            x : Type

            
            Nat : Type
	(fun x => x) Nat : Type
	let_fun x := Nat;
	x : Type
	Nat : Type
	let_fun x := Nat;
	x : Type
	Nat : Type