module T_length_and_compsub: sig .. end
sig
end
type t = Sosa.Native_string.s
Sosa.Native_string.s
val length : string -> int
string -> int
val compare_substring : string * int * int -> string * int * int -> int
string * int * int -> string * int * int -> int