Module type PrivateSignatures.WITER

The signature WITER is our internal API for iterators on weighted sequences.

type 'a measure
type 'a t
type 'a iter
val create : pov -> 'a t -> 'a measure -> 'a iter
val reset : pov -> 'a iter -> 'a measure -> unit
val copy : 'a iter -> 'a iter
val sequence : 'a iter -> 'a t
val weight : 'a iter -> weight
val windex : 'a iter -> 'a measure -> weight
val finished : 'a iter -> 'a measure -> bool
val get : 'a iter -> 'a measure -> 'a
val set : 'a iter -> 'a measure -> 'a -> unit
val move : pov -> 'a iter -> 'a measure -> unit
val jump : pov -> 'a iter -> int -> 'a measure -> unit
val get_segment : pov -> 'a iter -> 'a measure -> 'a Sek__.PublicTypeAbbreviations.segment
val get_writable_segment : pov -> 'a iter -> 'a measure -> 'a Sek__.PublicTypeAbbreviations.segment
val reach : 'a iter -> weight -> 'a measure -> unit
val check : 'a iter -> 'a measure -> unit
val print : ('a -> PPrint.document) -> 'a iter -> 'a measure -> PPrint.document
val reach_inside : 'a iter -> weight -> 'a measure -> unit
val create_at_sentinel : pov -> 'a t -> 'a measure -> 'a iter
val is_at_weight : 'a iter -> 'a measure -> weight -> bool
val unchecked_get : 'a iter -> 'a measure -> 'a
val is_valid : 'a iter -> bool