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


            
            [1, 2]

            
            6

            
            parserPrio.lean:28:7-28:10: error: ambiguous, possible interpretations

            
              2 * 1 : ?m


              [1] : List ?m

            
            [1, 2, 3]
	[1, 2]
	6
	parserPrio.lean:28:7-28:10: error: ambiguous, possible interpretations
	2 * 1 : ?m

	[1] : List ?m
	[1, 2, 3]