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