Module `Sek__.Segment`

val is_valid : 'a Sek__.PublicTypeAbbreviations.segment -> bool: is_valid (a, i, k) determines whether the index i and length k define a valid segment of the array a.

val is_empty : 'a Sek__.PublicTypeAbbreviations.segment -> bool: is_empty seg determines whether the array segment seg is empty.

val iter : Sek__.PrivateSignatures.pov -> 'a Sek__.PublicTypeAbbreviations.segment -> ('a -> unit) -> unit: iter pov seg f applies the function f in turn to every element of the array segment seg. The direction of iteration is dictated by the parameter pov.

val iter2 : Sek__.PrivateSignatures.pov -> 'a Sek__.PublicTypeAbbreviations.segment -> 'b Sek__.PublicTypeAbbreviations.segment -> ('a -> 'b -> unit) -> unit: iter2 pov seg1 seg2 f applies the function f in turn to every pair of elements drawn synchronously from the the array segments seg1 and seg2. The two segments must have the same size. The direction of iteration is dictated by the parameter pov.