module type T_LENGTH_AND_COMPSUB = sig .. end
sig
end
type t
val length : t -> int
t -> int
val compare_substring : t * int * int -> t * int * int -> int
t * int * int -> t * int * int -> int