AB-xslt-107

The pipeline

<p:declare-step xmlns:p="http://www.w3.org/ns/xproc" version="3.0">
   <p:output port="result"/>
   <p:xslt version="3.0" template-name="start" name="xslt">
      <p:with-input port="source">
         <p:empty/>
      </p:with-input>
      <p:with-input port="stylesheet" expand-text="false">
         <xsl:stylesheet xmlns:xsl="http://www.w3.org/1999/XSL/Transform" version="3.0">
            <xsl:output build-tree="no"/>
            <xsl:template name="start" as="array(element())">
               <xsl:variable name="some-elements" as="element()*">
                  <a/>
                  <b/>
               </xsl:variable>
               <xsl:sequence select="array{ $some-elements }"/>
            </xsl:template>
         </xsl:stylesheet>
      </p:with-input>
   </p:xslt>
   <p:identity xmlns:array="http://www.w3.org/2005/xpath-functions/array">
      <p:with-input>
         <result>
            <array-check>{. instance of array(*)}</array-check>
            <array-size-check>{array:size(.)}</array-size-check>
            <array-of-nodes-check>{. instance of array(node())}</array-of-nodes-check>
            <array-of-elements-check>{. instance of array(element())}</array-of-elements-check>
            <array-item-is-element-check>{every $item in .?* satisfies $item instance of element()}</array-item-is-element-check>
         </result>
      </p:with-input>
   </p:identity>
</p:declare-step>