sig
  val ( <-- ) : 'BatSet.t -> '-> 'BatSet.t
  val ( <. ) : 'BatSet.t -> 'BatSet.t -> bool
  val ( >. ) : 'BatSet.t -> 'BatSet.t -> bool
  val ( <=. ) : 'BatSet.t -> 'BatSet.t -> bool
  val ( >=. ) : 'BatSet.t -> 'BatSet.t -> bool
  val ( -. ) : 'BatSet.t -> 'BatSet.t -> 'BatSet.t
  val ( &&. ) : 'BatSet.t -> 'BatSet.t -> 'BatSet.t
  val ( ||. ) : 'BatSet.t -> 'BatSet.t -> 'BatSet.t
end