Module Generic_core_desc.Array

module Array: sig .. end

Generic representation of array-like datatypes.

The built-in array, string and bytes types are all random access memory types, sharing a common interface. The module type Generic_core_desc.Array.intf provides an interface that can be used generically without knowing whether the actual type is array, string or bytes.

module type intf = sig .. end

Common interface for array-like types (eg: string and bytes).