Functors.T_LENGTH_AND

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