joy-dom
Toggle table of contents
common
Platform filter
common
Switch theme
Search in API
joy-dom
dom-resolver
/
com.j0y.joy.dom.resolver
/
DirectiveRegistry
/
merge
merge
fun
merge
(
other
:
DirectiveRegistry
,
policy
:
MergePolicy
)
:
DirectiveRegistry
A new registry combining this and
other
;
policy
settles shared markers.