sig
  type +'a t
  val is_empty : 'a Var.Set.t -> bool
  val empty : 'a Var.Set.t
  val add : 'a Var.Set.t -> 'a Var.var -> 'a Var.Set.t
  val mem : 'a Var.Set.t -> 'a Var.var -> bool
  val find : 'a Var.Set.t -> ID.t -> 'a Var.var option
  val find_exn : 'a Var.Set.t -> ID.t -> 'a Var.var
  val diff : 'a Var.Set.t -> 'a Var.Set.t -> 'a Var.Set.t
  val of_seq : 'a Var.var Sequence.t -> 'a Var.Set.t
  val to_seq : 'a Var.Set.t -> 'a Var.var Sequence.t
  val to_list : 'a Var.Set.t -> 'a Var.var list
  val cardinal : 'a Var.Set.t -> int
  val pp : 'a Var.Set.t CCFormat.printer
end