Up
–
Index
»
rocq-runtime
»
Coercionops
»
ClTypSet
» List
Module
ClTypSet.List
val
union :
t
list
->
t
Union of sets from a list