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