Class Pxp_document.super_root_impl

class ['a node #extension as 'a] super_root_impl : 'a -> ['a] node

<ID:class-super-root-impl> <TYPE:class> <CALL> 'ext 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>