module Compare_substring_strict_of_loose (S : T_LENGTH_AND_COMPSUB) : sig .. end
(
S
:
T_LENGTH_AND_COMPSUB
)
sig
end
val compare_substring_strict : S.t * int * int -> S.t * int * int -> int option
S.t * int * int -> S.t * int * int -> int option