functor (B : Base) ->
  sig
    type t = B.t array
    val compare : Tools.ArrayB.t -> Tools.ArrayB.t -> int
  end