Module Map.Aux

This module contains the signature of an ancillary array for storage of the co-domain elements of a map structure.

module type Profile = sig ... end

The signature of a co-domain content array.

module Of_array : Profile with type 'a t = 'a array and type index := int

A distinguished instance of a module for the 'a array type.