I have just published a new release of oma with the following fixes and changes:
-
New functions
invalidate_open_intervalandinvalidate_semi_open_interval. -
Fix a serious bug in
Unsafe.firstandUnsafe.last, which would incorrectly returnNonewhen the region contains only one point. -
Fix a serious bug in
Unsafe.iter, which would systematically omit the last point of the region.