Parameter Make.2-I

type 'a measure = 'a SChunk.measure
type 'a t
type 'a iter
val create : Sek__.PrivateSignatures.pov -> 'a t -> 'a measure -> 'a iter
val reset : Sek__.PrivateSignatures.pov -> 'a iter -> 'a measure -> unit
val copy : 'a iter -> 'a iter
val sequence : 'a iter -> 'a t
val weight : 'a iter -> Sek__.PrivateSignatures.weight
val windex : 'a iter -> 'a measure -> Sek__.PrivateSignatures.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 : Sek__.PrivateSignatures.pov -> 'a iter -> 'a measure -> unit
val jump : Sek__.PrivateSignatures.pov -> 'a iter -> int -> 'a measure -> unit
val get_segment : Sek__.PrivateSignatures.pov -> 'a iter -> 'a measure -> 'a Sek__.PublicTypeAbbreviations.segment
val get_writable_segment : Sek__.PrivateSignatures.pov -> 'a iter -> 'a measure -> 'a Sek__.PublicTypeAbbreviations.segment
val reach : 'a iter -> Sek__.PrivateSignatures.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 -> Sek__.PrivateSignatures.weight -> 'a measure -> unit
val create_at_sentinel : Sek__.PrivateSignatures.pov -> 'a t -> 'a measure -> 'a iter
val is_at_weight : 'a iter -> 'a measure -> Sek__.PrivateSignatures.weight -> bool
val unchecked_get : 'a iter -> 'a measure -> 'a
val is_valid : 'a iter -> bool