Module Sek__.PublicTypeAbbreviations
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.