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


            
            ↑10 : String

            
            fun x => g ↑x : Nat → String