class<ID:class-super-root-impl> <TYPE:class> <CALL> 'ext['a node #extension as 'a]
super_root_impl :'a ->
['a]
node
super_root_impl
<SIG> AUTO
<DESCR> This class is an implementation of node
which
realizes super root nodes. You can create a new object by
let exemplar = new super_root_impl ext_obj
which creates a special form of empty super root which already contains a
reference to the ext_obj
, but is otherwise empty. This special form
is called a super root exemplar. In order to get a working node
that can be used in a node tree it is required to apply the method
create_other
on the exemplar object, e.g.
let root = exemplar # create_other dtd
</ID>