<TD><A href="string.html">String.concat</A></TD> </TR>
    <TR> <TD>val explode : string -> char list</TD> <TD><A href="string.html">String.explode</A></TD> </TR>
    <TR> <TD>val implode : char list -> string</TD> <TD><A href="string.html">String.implode</A></TD> </TR>
    <TR> <TD>val substring : string * int * int -> string</TD> <TD><A href="string.html">String.substring</A></TD> </TR>
    <TR> <TD>val vector : 'a list -> 'a vector</TD> <TD><A href="vector.html">Vector.fromList</A></TD> </TR>
    <TR> <T