sig
  val eq_by : ('-> 'b) -> 'BatOrd.eq
  val comp_by : ('-> 'b) -> 'BatOrd.comp
  val ord_by : ('-> 'b) -> 'BatOrd.ord
end