Module Main.Type.URe.Type.SubText


module SubText: Main.Type.SubText.Type  with type ur_text = text and type ur_index = index
Compile regular expressions.

type t 
val get : t -> int -> Main.Type.UChar.t
val init : int -> (int -> Main.Type.UChar.t) -> t
val length : t -> int
type index 
val look : t -> index -> Main.Type.UChar.t
val nth : t -> int -> index
val first : t -> index
val last : t -> index
val next : t ->
index -> index
val prev : t ->
index -> index
val move : t ->
index -> int -> index
val out_of_range : t -> index -> bool
val compare_index : t ->
index -> index -> int
val iter : (Main.Type.UChar.t -> unit) -> t -> unit
val compare : t -> t -> int
module Buf: sig .. end
The type of original texts.
type ur_text 
The type of indexes of original texts.
type ur_index 
refer t i j returns the part of t from i until j. The character pointed by j is not included in the result. If j is equal to i or located before j, the result is an empty string.
val refer : ur_text ->
ur_index ->
ur_index -> t
excerpt t copies the contents of t as a new ur_text.
val excerpt : t -> ur_text
context t returns the tuple (s, i, j) such that t = refer s i j.
val context : t ->
ur_text * ur_index *
ur_index
Conversion from indexes of sub-texts to ur_texts.
val ur_index_of : t ->
index -> ur_index