classCreation: new attribute_impl element_name attribute_name attribute_value dtd Note that attribute nodes do intentionally not have extensions.['a node #extension as 'a]
attribute_impl :element:string -> name:string -> Pxp_core_types.att_value -> Pxp_dtd.dtd ->
['a]
node
Attribute nodes are created on demand by the first invocation of attributes_as_nodes of the element node. Attribute nodes are created directly and not by copying exemplar nodes, so you never need to create them yourself.
Attribute nodes have the following properties:
name, value
, i.e. such nodes
have a single attribute "name". To get the value, call
n # attribute name.