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