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


            
            [(1, 1), (2, 2)]

            
            Lean.AssocList.cons 1 1 (Lean.AssocList.cons 2 2 Lean.AssocList.nil)
	[(1, 1), (2, 2)]
	Lean.AssocList.cons 1 1 (Lean.AssocList.cons 2 2 Lean.AssocList.nil)