module Set:sig..end
type ('a, 'typ) t
val empty : ('a, 'typ) t
val add : ('a, 'typ) Syntax.expr ->
('a, 'typ) t -> ('a, 'typ) t
val union : ('a, 'typ) t ->
('a, 'typ) t -> ('a, 'typ) t
val inter : ('a, 'typ) t ->
('a, 'typ) t -> ('a, 'typ) t
val enum : ('a, 'typ) t -> ('a, 'typ) Syntax.expr BatEnum.t
val mem : ('a, 'typ) Syntax.expr -> ('a, 'typ) t -> bool