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