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


            
            Inferred termination argument:

            
            termination_by x1 x2 => (x1, x2, 0)

            
            Inferred termination argument:

            
            termination_by x1 x2 => (x1, x2, 1)
	Inferred termination argument:
	termination_by x1 x2 => (x1, x2, 0)
	Inferred termination argument:
	termination_by x1 x2 => (x1, x2, 1)