koher 8/9/2017 5:46 AM

1> (2..<2).count $R1: Int.Stride = 0

5:46 AM

↑からも空集合とわかる