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.