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