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.