Module Exp.Dset

module Dset: sig .. end

type t 

val emp : t

val add : Exp.exp -> t -> t

val remove : Exp.exp -> t -> t

val mem : Exp.exp -> t -> bool

val from_list : Exp.exp list -> t

val to_list : t -> Exp.exp list

val inter : t -> t -> t

val union : t -> t -> t

val subset : t -> t -> bool

val partition : (Exp.exp -> bool) -> t -> Exp.exp list * t

val filter : (Exp.exp -> bool) -> t -> t

val fold : (Exp.exp -> 'a -> 'a) -> t -> 'a -> 'a

val compare : t -> t -> int

val abs_compare : t -> t -> int

val map : Exp.subst -> t -> t

val no_s : string -> t -> bool