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


            
            >> 0

            
            >> 1

            
            >> 2

            
            >> 3

            
            >> 4

            
            >> 5

            
            >> 6

            
            >> 7

            
            >> 8

            
            >> 9

            
            [0]: 0

            
            [1]: 2

            
            [2]: 4

            
            [3]: 6

            
            [4]: 8

            
            [5]: 10

            
            [6]: 12

            
            [7]: 14

            
            [8]: 16

            
            [9]: 18
	>> 0
	>> 1
	>> 2
	>> 3
	>> 4
	>> 5
	>> 6
	>> 7
	>> 8
	>> 9
	[0]: 0
	[1]: 2
	[2]: 4
	[3]: 6
	[4]: 8
	[5]: 10
	[6]: 12
	[7]: 14
	[8]: 16
	[9]: 18