sig
  val min_elt : BatSet.S.t -> BatSet.S.elt option
  val max_elt : BatSet.S.t -> BatSet.S.elt option
  val choose : BatSet.S.t -> BatSet.S.elt option
end