Module Sek__PublicSignature
Type Abbreviations
type index
= int
An index into a sequence is an integer. It is comprised between 0 (included) and the length of the sequence (excluded or included, depending on the circumstances).
type 'a segment
= 'a array * index * length
An array segment is described by a triple of an array
a
, a start indexi
, and a lengthk
.
type 'a segments
= ('a segment -> unit) -> unit
A sequence of array segments is represented by a higher-order iterator.
Library API
module type ITER = sig ... end
The signature
ITER
is the core iterator API. It is common to ephemeral and persistent sequences. Please follow the link for details.
module type ITER_EPHEMERAL = sig ... end
The signature
ITER_EPHEMERAL
extends the iterator API with concepts and operations that exist only in the case of iterators over ephemeral sequences. Please follow the link for details.