sig   type 'a t   type 'a enumerable = 'a t   type 'a mappable = 'a t   val empty : 'BatSet.PSet.t   val create : ('-> '-> int) -> 'BatSet.PSet.t   val is_empty : 'BatSet.PSet.t -> bool   val singleton : ?cmp:('-> '-> int) -> '-> 'BatSet.PSet.t   val mem : '-> 'BatSet.PSet.t -> bool   val find : '-> 'BatSet.PSet.t -> 'a   val add : '-> 'BatSet.PSet.t -> 'BatSet.PSet.t   val remove : '-> 'BatSet.PSet.t -> 'BatSet.PSet.t   val update : '-> '-> 'BatSet.PSet.t -> 'BatSet.PSet.t   val union : 'BatSet.PSet.t -> 'BatSet.PSet.t -> 'BatSet.PSet.t   val intersect : 'BatSet.PSet.t -> 'BatSet.PSet.t -> 'BatSet.PSet.t   val diff : 'BatSet.PSet.t -> 'BatSet.PSet.t -> 'BatSet.PSet.t   val sym_diff : 'BatSet.PSet.t -> 'BatSet.PSet.t -> 'BatSet.PSet.t   val compare : 'BatSet.PSet.t -> 'BatSet.PSet.t -> int   val equal : 'BatSet.PSet.t -> 'BatSet.PSet.t -> bool   val subset : 'BatSet.PSet.t -> 'BatSet.PSet.t -> bool   val disjoint : 'BatSet.PSet.t -> 'BatSet.PSet.t -> bool   val iter : ('-> unit) -> 'BatSet.PSet.t -> unit   val at_rank_exn : int -> 'BatSet.PSet.t -> 'a   val map : ('-> 'b) -> 'BatSet.PSet.t -> 'BatSet.PSet.t   val filter : ('-> bool) -> 'BatSet.PSet.t -> 'BatSet.PSet.t   val filter_map : ('-> 'b option) -> 'BatSet.PSet.t -> 'BatSet.PSet.t   val fold : ('-> '-> 'b) -> 'BatSet.PSet.t -> '-> 'b   val exists : ('-> bool) -> 'BatSet.PSet.t -> bool   val for_all : ('-> bool) -> 'BatSet.PSet.t -> bool   val partition :     ('-> bool) -> 'BatSet.PSet.t -> 'BatSet.PSet.t * 'BatSet.PSet.t   val split :     '-> 'BatSet.PSet.t -> 'BatSet.PSet.t * bool * 'BatSet.PSet.t   val split_opt :     '-> 'BatSet.PSet.t -> 'BatSet.PSet.t * 'a option * 'BatSet.PSet.t   val split_lt :     '-> 'BatSet.PSet.t -> 'BatSet.PSet.t * 'BatSet.PSet.t   val split_le :     '-> 'BatSet.PSet.t -> 'BatSet.PSet.t * 'BatSet.PSet.t   val cardinal : 'BatSet.PSet.t -> int   val elements : 'BatSet.PSet.t -> 'a list   val to_list : 'BatSet.PSet.t -> 'a list   val to_array : 'BatSet.PSet.t -> 'a array   val min_elt : 'BatSet.PSet.t -> 'a   val pop_min : 'BatSet.PSet.t -> 'a * 'BatSet.PSet.t   val pop_max : 'BatSet.PSet.t -> 'a * 'BatSet.PSet.t   val max_elt : 'BatSet.PSet.t -> 'a   val choose : 'BatSet.PSet.t -> 'a   val pop : 'BatSet.PSet.t -> 'a * 'BatSet.PSet.t   val enum : 'BatSet.PSet.t -> 'BatEnum.t   val of_enum : 'BatEnum.t -> 'BatSet.PSet.t   val of_enum_cmp : cmp:('-> '-> int) -> 'BatEnum.t -> 'BatSet.PSet.t   val of_list : 'a list -> 'BatSet.PSet.t   val of_array : 'a array -> 'BatSet.PSet.t   val print :     ?first:string ->     ?last:string ->     ?sep:string ->     ('BatInnerIO.output -> '-> unit) ->     'BatInnerIO.output -> 'BatSet.PSet.t -> unit   module Infix :     sig       val ( <-- ) : 'BatSet.PSet.t -> '-> 'BatSet.PSet.t       val ( <. ) : 'BatSet.PSet.t -> 'BatSet.PSet.t -> bool       val ( >. ) : 'BatSet.PSet.t -> 'BatSet.PSet.t -> bool       val ( <=. ) : 'BatSet.PSet.t -> 'BatSet.PSet.t -> bool       val ( >=. ) : 'BatSet.PSet.t -> 'BatSet.PSet.t -> bool       val ( -. ) : 'BatSet.PSet.t -> 'BatSet.PSet.t -> 'BatSet.PSet.t       val ( &&. ) : 'BatSet.PSet.t -> 'BatSet.PSet.t -> 'BatSet.PSet.t       val ( ||. ) : 'BatSet.PSet.t -> 'BatSet.PSet.t -> 'BatSet.PSet.t     end   val get_cmp : 'BatSet.PSet.t -> '-> '-> int end