package oma

You can search for identifiers within the package.

in-package search v0.2.0

An order maintenance data structure

Install

Dune Dependency

gitlab.inria.fr Readme Changelog Edit opam file Versions (2)

Authors

Maintainers

F

François Pottier

Sources

md5=26c586ff4e1bfacd2637314b4bb98535

sha512=8f795d4ab5ead677f14e22d1ed78ef22b474da8b972894ce76cccd787e7a1a99bf7853ca6a411420c647fced173806f1ce534eae290e22852828ab3ed3f325b8

doc/CHANGES.html

CHANGES

2024/06/19

New functions invalidate_open_interval and invalidate_semi_open_interval.
Fix a serious bug in Unsafe.first and Unsafe.last, which would incorrectly return None when the region contains only one point.
Fix a serious bug in Unsafe.iter, which would systematically omit the last point of the region.

2024/01/06

Initial release.

On This Page

2024/06/19
2024/01/06