Abstract

Array-based key-value maps.

Requires an ordering on the elements to provide relatively efficient lookups.

Synopsis

module mk_arraymap: (K: ordkey) -> map with key = K.key with ctx = K.ctx

Description

↑module mk_arraymap

A map that uses a sorted array to represent the mapping.