module type Type = sig .. end
Sub-texts, parts of original (ur-) texts.
The signature and semantics matches those of UStorage.
type
val get : t -> int -> CamomileLibrary.Type.UChar.t
val init : int ->
(int -> CamomileLibrary.Type.UChar.t) -> t
val length : t -> int
type
val look : t ->
index -> CamomileLibrary.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 : (CamomileLibrary.Type.UChar.t -> unit) ->
t -> unit
val compare : t ->
t -> int
module Buf: sig .. end
type
The type of original texts.
type
The type of indexes of original texts.
val refer : ur_text ->
ur_index ->
ur_index ->
t
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 excerpt : t ->
ur_text
excerpt t copies the contents of t as a new ur_text.
val context : t ->
ur_text *
ur_index *
ur_index
context t returns the tuple (s, i, j) such that
t = refer s i j.
val ur_index_of : t ->
index ->
ur_index
Conversion from indexes of sub-texts to ur_texts.