Functors.Make_native.T_length_and

sig
  type t = Functors.Make_native.s
  val length : B.t -> int
  val compare_substring : B.t * int * int -> B.t * int * int -> int
end