functor (Base : NUMERIC_BASE->
  sig
    type bat__compare_t = Base.t
    val ( <> ) : bat__compare_t -> bat__compare_t -> bool
    val ( >= ) : bat__compare_t -> bat__compare_t -> bool
    val ( <= ) : bat__compare_t -> bat__compare_t -> bool
    val ( > ) : bat__compare_t -> bat__compare_t -> bool
    val ( < ) : bat__compare_t -> bat__compare_t -> bool
    val ( = ) : bat__compare_t -> bat__compare_t -> bool
  end