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


            
            [`Lean.Macro] : List Name

            
            [(`Nat.succ, [])] : List (Lean.Name × List ?m)
	[`Lean.Macro] : List Name
	[(`Nat.succ, [])] : List (Lean.Name × List ?m)