module Indexer: sig
.. end
Indexer implements ordered collection of items with
random access. It is suitable for building fast access operations
in GUI tree and list widgets.
module type Elt = sig
.. end
module Make: functor (
E
:
Elt
) ->
sig
.. end