toggle menu
xmlutil
0.90.2
Common
switch theme
search in API
xmlschema
/
io.github.pdvrieze.formats.xmlschema.resolved.facets
/
FacetList
/
overlay
overlay
fun
overlay
(
newList
:
FacetList
)
:
FacetList
(
source
)
Overlay according to 3.16.6.4