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


            
            foo Bool : Foo (Bool → Nat) ({p : Bool} → Nat)

            
            (foo Bool).f : Unit → Bool → Nat

            
            (bar Bool).f : Unit → Bool → Nat
	foo Bool : Foo (Bool → Nat) ({p : Bool} → Nat)
	(foo Bool).f : Unit → Bool → Nat
	(bar Bool).f : Unit → Bool → Nat