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
  val any : BatSet.S.t -> BatSet.S.elt option
  val find : BatSet.S.elt -> BatSet.S.t -> BatSet.S.elt option
end