Up
–
coq-core
»
CSet
»
ExtS
» List
Module
ExtS.List
val
union :
t
list
->
t
Union of sets from a list