Var_graph.Node_set
type elt = Var.t
type t
val with_capacity : int -> t
val singleton : elt -> t
val add : t -> elt -> unit
val add_iter : t -> elt Iter.t -> unit
val mem : t -> elt -> bool
val remove : t -> elt -> unit
val iter : (elt -> unit) -> t -> unit
val to_seq : t -> elt Soteria.Soteria_std.Seq.t
val of_seq : elt Soteria.Soteria_std.Seq.t -> t
val cardinal : t -> int
val copy : t -> t
val subseteq : t -> t -> bool
val equal : t -> t -> bool
val pp : Stdlib.Format.formatter -> t -> unit