classThis class is an implementation of['a node #extension as 'a]
super_root_impl :'a ->
['a]
node
node
which
realizes super root nodes. You can create a new exemplar by
let exemplar = new super_root_impl ext_obj
which creates an empty super root which already contains a
reference to the extension ext_obj
, but is otherwise empty.
Use the method Pxp_document.node.create_other
on the exemplar
to get a filled copy
of the examplar (i.e. we need two steps to create nodes).