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


            
            0 + 1 : Nat

            
            macroPrio.lean:12:7-12:13: error: ambiguous, possible interpretations

            
              1 * 2 : ?m


              1 + 1 : ?m

            
            2 - 2 : Nat
	0 + 1 : Nat
	macroPrio.lean:12:7-12:13: error: ambiguous, possible interpretations
	1 * 2 : ?m

	1 + 1 : ?m
	2 - 2 : Nat