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