module Indexer: sig .. end
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
functor (
E
:
Elt
) ->