let do_lt min1 max1 min2 max2 = if compare_max_min max1 min2 < 0 then singleton_one else if compare_min_max min1 max2 >= 0 then singleton_zero else zero_or_one