Module UnitWeightIterator.Make

Parameters

• SChunk : Sek__.PrivateSignatures.SCHUNK
• I : Sek__.PrivateSignatures.WITER with type 'a measure = 'a SChunk.measure

Signature

type 'a t = 'a I.t

type 'a iter = 'a I.iter

val create : Sek__.PrivateSignatures.pov -> 'a t -> 'a iter

val reset : Sek__.PrivateSignatures.pov -> 'a iter -> unit

val copy : 'a iter -> 'a iter

val sequence : 'a iter -> 'a t

val length : 'a iter -> Sek__.PublicTypeAbbreviations.length

val is_valid : 'a iter -> bool

val index : 'a iter -> Sek__.PublicTypeAbbreviations.index

val finished : 'a iter -> bool

val get : 'a iter -> 'a

val move : Sek__.PrivateSignatures.pov -> 'a iter -> unit

val jump : Sek__.PrivateSignatures.pov -> 'a iter -> int -> unit

val get_segment : Sek__.PrivateSignatures.pov -> 'a iter -> 'a Sek__.PublicTypeAbbreviations.segment

val get_writable_segment : Sek__.PrivateSignatures.pov -> 'a iter -> 'a Sek__.PublicTypeAbbreviations.segment

val reach : 'a iter -> Sek__.PublicTypeAbbreviations.index -> unit

val set : 'a iter -> 'a -> unit

val check : 'a iter -> unit

val print : ('a -> PPrint.document) -> 'a iter -> PPrint.document