Up
–
rocq-runtime
»
Coqdeplib
»
Dep_info
»
Dep
»
Set
» List
Module
Set.List
val
union :
t
list
->
t
Union of sets from a list