You can search for identifiers within the package.
in-package search v0.2.0
why3find
why3find.utils
Why3findUtils.Rangemap
type 'a t
val compare : Range.range -> Range.range -> int
val empty : 'a t
val add : Range.range -> 'a -> 'a t -> 'a t
val union : 'a t -> 'a t -> 'a t
val find : Range.pos -> 'a t -> Range.range * 'a
val find_opt : Range.pos -> 'a t -> (Range.range * 'a) option
val iter : (Range.range -> 'a -> unit) -> 'a t -> unit