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