Plasma GitLab Archive
Projects Blog Knowledge

Class Pxp_document.super_root_impl

class ['a node #extension as 'a] super_root_impl : 'a -> ['a] node
This class is an implementation of 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).

This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml