sig
type t
val emp : Exp.Dset.t
val add : Exp.exp -> Exp.Dset.t -> Exp.Dset.t
val remove : Exp.exp -> Exp.Dset.t -> Exp.Dset.t
val mem : Exp.exp -> Exp.Dset.t -> bool
val from_list : Exp.exp list -> Exp.Dset.t
val to_list : Exp.Dset.t -> Exp.exp list
val inter : Exp.Dset.t -> Exp.Dset.t -> Exp.Dset.t
val union : Exp.Dset.t -> Exp.Dset.t -> Exp.Dset.t
val subset : Exp.Dset.t -> Exp.Dset.t -> bool
val partition :
(Exp.exp -> bool) -> Exp.Dset.t -> Exp.exp list * Exp.Dset.t
val filter : (Exp.exp -> bool) -> Exp.Dset.t -> Exp.Dset.t
val fold : (Exp.exp -> 'a -> 'a) -> Exp.Dset.t -> 'a -> 'a
val compare : Exp.Dset.t -> Exp.Dset.t -> int
val abs_compare : Exp.Dset.t -> Exp.Dset.t -> int
val map : Exp.subst -> Exp.Dset.t -> Exp.Dset.t
val no_s : string -> Exp.Dset.t -> bool
end