Module ElimConstraints.List

val union : t list -> t

Union of sets from a list