classThis class is an implementation of
['a node #extension as 'a]attribute_impl :
element:string -> name:string -> Pxp_types.att_value -> Pxp_dtd.dtd ->
nodewhich realizes attribute nodes. Create a new node by
new attribute_impl element_name attribute_name attribute_value dtd
Note that attribute nodes do intentionally not have extensions.
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.