Assemblers satisfy: assembler ~lang ~loc ~name children evaluates to a list of optionally-labeled parse trees for passing children to the the element function for element name. For example, for a table element
<table>
<thead>
<tr><th>A</th><th>B</th></tr>
</thead>
<tbody>
</tbody>
</table>
The assembler table, when called with the parsed children, will evaluate to parse trees representing
~thead:(* the thead element *) [(* the tbody element *)]
This satisfies the child arguments in the signature of Html_sigs.T.tablex. The ~table label is represented by the string "table", and the unlabeled list argument is paired with the empty string.
The argument implementation is the name of the module providing the run-time implementation of the element function that will be applied to the children. It is either Html or Svg, and is based on the element's namespace. It is used for wrapping child elements, and for scoping child txt elements.
The name argument is used for error reporting.