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