Module Why3findUtils.RopesSource

Text document with line-column random access

Sourcetype t
Sourceval lines : t -> int
Sourceval length : t -> int
Sourceval line_at : int -> t -> string
Sourceval char_at : Range.pos -> t -> char
Sourceval eof : t -> Range.pos
Sourceval empty : t
Sourceval concat : t -> t -> t
Sourceval (++) : t -> t -> t
Sourceval fold_left : ('a -> string -> 'a) -> 'a -> t -> 'a
Sourceval fold_right : (string -> 'a -> 'a) -> t -> 'a -> 'a
Sourceval iter : (string -> unit) -> t -> unit
Sourceval iteri : (int -> string -> unit) -> t -> unit
Sourceval to_buffer : Buffer.t -> t -> unit
Sourceval to_channel : out_channel -> t -> unit
Sourceval to_string : t -> string
Sourceval of_string : string -> t
Sourceval pretty : Format.formatter -> t -> unit
Sourceval trim : t -> t
Sourceval prefix_string : int -> string -> string
Sourceval suffix_string : int -> string -> string
Sourceval prefix : Range.pos -> t -> t * string
Sourceval suffix : Range.pos -> t -> string * t
Sourceval update : Range.range -> string -> t -> t
Sourceval substring : Range.range -> t -> string