`sig val iter : f:(BatSet.S.elt -> unit) -> BatSet.S.t -> unit val fold : f:(BatSet.S.elt -> 'a -> 'a) -> BatSet.S.t -> init:'a -> 'a val for_all : f:(BatSet.S.elt -> bool) -> BatSet.S.t -> bool val exists : f:(BatSet.S.elt -> bool) -> BatSet.S.t -> bool val map : f:(BatSet.S.elt -> BatSet.S.elt) -> BatSet.S.t -> BatSet.S.t val filter : f:(BatSet.S.elt -> bool) -> BatSet.S.t -> BatSet.S.t val filter_map : f:(BatSet.S.elt -> BatSet.S.elt option) -> BatSet.S.t -> BatSet.S.t val partition : f:(BatSet.S.elt -> bool) -> BatSet.S.t -> BatSet.S.t * BatSet.S.t end`