operator
declared-elements of DTD
    
 The operator declared-elements of returns a shelf of type element-declaration, whose
        items correspond to all the elements declared by the argument DTD.
      
The result shelf is keyed by element name.