Module InvertibleArray

module InvertibleArray: sig .. end
Extendable arrays that are also invertible, meaning that it is possible to get the index corresponding to a value.

Results are unspecified if the array contains the same value twice.

module type HashableComparableType = sig .. end
The input signature of the functor Make.
module type S = sig .. end
The output signature of the functor Make, akin to ExtendableArray.
module Make: 
functor (T : HashableComparableType) -> S with type elem = T.t
Functor building an invertible array implementation.