class type ['a Pxp_document.node #Pxp_document.extension as 'a] index = ['a] Pxp_tree_parser.index
['a Pxp_document.node #Pxp_document.extension as 'a]
['a]
Pxp_tree_parser.index