Module Constrset_env.List

val union : t list -> t

Union of sets from a list