<html>
<head>
<link rel="stylesheet" href="style.css" type="text/css">
<meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type">
<link rel="Start" href="index.html">
<link title="Index of types" rel=Appendix href="index_types.html">
<link title="Index of exceptions" rel=Appendix href="index_exceptions.html">
<link title="Index of values" rel=Appendix href="index_values.html">
<link title="Index of class methods" rel=Appendix href="index_methods.html">
<link title="Index of classes" rel=Appendix href="index_classes.html">
<link title="Index of class types" rel=Appendix href="index_class_types.html">
<link title="Index of modules" rel=Appendix href="index_modules.html">
<link title="Index of module types" rel=Appendix href="index_module_types.html">
<link title="CaseMap" rel="Chapter" href="CaseMap.html">
<link title="CharEncoding" rel="Chapter" href="CharEncoding.html">
<link title="Default" rel="Chapter" href="Default.html">
<link title="IMap" rel="Chapter" href="IMap.html">
<link title="ISet" rel="Chapter" href="ISet.html">
<link title="Locale" rel="Chapter" href="Locale.html">
<link title="Main" rel="Chapter" href="Main.html">
<link title="OOChannel" rel="Chapter" href="OOChannel.html">
<link title="SubText" rel="Chapter" href="SubText.html">
<link title="UCS4" rel="Chapter" href="UCS4.html">
<link title="UChar" rel="Chapter" href="UChar.html">
<link title="UCharInfo" rel="Chapter" href="UCharInfo.html">
<link title="UCharTbl" rel="Chapter" href="UCharTbl.html">
<link title="UCol" rel="Chapter" href="UCol.html">
<link title="ULine" rel="Chapter" href="ULine.html">
<link title="UMap" rel="Chapter" href="UMap.html">
<link title="UNF" rel="Chapter" href="UNF.html">
<link title="UPervasives" rel="Chapter" href="UPervasives.html">
<link title="URe" rel="Chapter" href="URe.html">
<link title="UReStr" rel="Chapter" href="UReStr.html">
<link title="USet" rel="Chapter" href="USet.html">
<link title="UTF16" rel="Chapter" href="UTF16.html">
<link title="UTF8" rel="Chapter" href="UTF8.html">
<link title="UText" rel="Chapter" href="UText.html">
<link title="UnicodeString" rel="Chapter" href="UnicodeString.html">
<link title="XArray" rel="Chapter" href="XArray.html">
<link title="XString" rel="Chapter" href="XString.html"><title>Index of values</title>
</head>
<body>
<center><h1>Index of values</h1></center>
<table>
<tr><td align="left"><br>A</td></tr>
<tr><td><a href="USet.html#VALadd">add</a> [<a href="USet.html">USet</a>]</td>
<td></td></tr>
<tr><td><a href="UMap.html#VALadd">add</a> [<a href="UMap.html">UMap</a>]</td>
<td><div class="info">
<code class="code">add ?eq u v m</code> returns the new map which is same to <code class="code">m</code>
except it maps <code class="code">u</code> to some value <code class="code">v'</code> which satisfies <code class="code">eq v v'</code>.
</div>
</td></tr>
<tr><td><a href="ISet.html#VALadd">add</a> [<a href="ISet.html">ISet</a>]</td>
<td></td></tr>
<tr><td><a href="IMap.html#VALadd">add</a> [<a href="IMap.html">IMap</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UMap.html#VALadd">add</a> [<a href="Main.Type.UMap.html">Main.Type.UMap</a>]</td>
<td><div class="info">
<code class="code">add ?eq u1 u2 v m</code> returns the new map which is same to <code class="code">m</code>
except it maps characters in the range <code class="code">u1</code>-<code class="code">u2</code>
to some value <code class="code">v'</code> which satisfies <code class="code">eq v v'</code>.
</div>
</td></tr>
<tr><td><a href="Main.Type.USet.html#VALadd">add</a> [<a href="Main.Type.USet.html">Main.Type.USet</a>]</td>
<td><div class="info">
<code class="code">add_range u1 u2 s</code> adds the characters in the range <code class="code">u1</code> - <code class="code">u2</code>
to <code class="code">s</code>.
</div>
</td></tr>
<tr><td><a href="Main.Type.IMap.html#VALadd">add</a> [<a href="Main.Type.IMap.html">Main.Type.IMap</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.ISet.html#VALadd">add</a> [<a href="Main.Type.ISet.html">Main.Type.ISet</a>]</td>
<td></td></tr>
<tr><td><a href="XArray.html#VALadd_array">add_array</a> [<a href="XArray.html">XArray</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.XArray.html#VALadd_array">add_array</a> [<a href="Main.Type.XArray.html">Main.Type.XArray</a>]</td>
<td></td></tr>
<tr><td><a href="XString.Buf.html#VALadd_buffer">add_buffer</a> [<a href="XString.Buf.html">XString.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="UnicodeString.Type.Buf.html#VALadd_buffer">add_buffer</a> [<a href="UnicodeString.Type.Buf.html">UnicodeString.Type.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="UText.Buf.html#VALadd_buffer">add_buffer</a> [<a href="UText.Buf.html">UText.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="UTF8.Buf.html#VALadd_buffer">add_buffer</a> [<a href="UTF8.Buf.html">UTF8.Buf</a>]</td>
<td><div class="info">
<code class="code">add_buffer b1 b2</code> adds the contents of <code class="code">b2</code> to <code class="code">b1</code>.
</div>
</td></tr>
<tr><td><a href="UTF16.Buf.html#VALadd_buffer">add_buffer</a> [<a href="UTF16.Buf.html">UTF16.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="UCS4.Buf.html#VALadd_buffer">add_buffer</a> [<a href="UCS4.Buf.html">UCS4.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="SubText.Type.Buf.html#VALadd_buffer">add_buffer</a> [<a href="SubText.Type.Buf.html">SubText.Type.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="UNF.Type.NFCBuf.html#VALadd_buffer">add_buffer</a> [<a href="UNF.Type.NFCBuf.html">UNF.Type.NFCBuf</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UCS4.Buf.html#VALadd_buffer">add_buffer</a> [<a href="Main.Type.UCS4.Buf.html">Main.Type.UCS4.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UTF16.Buf.html#VALadd_buffer">add_buffer</a> [<a href="Main.Type.UTF16.Buf.html">Main.Type.UTF16.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UTF8.Buf.html#VALadd_buffer">add_buffer</a> [<a href="Main.Type.UTF8.Buf.html">Main.Type.UTF8.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.SubText.Type.Buf.html#VALadd_buffer">add_buffer</a> [<a href="Main.Type.SubText.Type.Buf.html">Main.Type.SubText.Type.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.XString.Buf.html#VALadd_buffer">add_buffer</a> [<a href="Main.Type.XString.Buf.html">Main.Type.XString.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UText.Buf.html#VALadd_buffer">add_buffer</a> [<a href="Main.Type.UText.Buf.html">Main.Type.UText.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UnicodeString.Type.Buf.html#VALadd_buffer">add_buffer</a> [<a href="Main.Type.UnicodeString.Type.Buf.html">Main.Type.UnicodeString.Type.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="XString.Buf.html#VALadd_char">add_char</a> [<a href="XString.Buf.html">XString.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="XString.html#VALadd_char">add_char</a> [<a href="XString.html">XString</a>]</td>
<td></td></tr>
<tr><td><a href="UnicodeString.Type.Buf.html#VALadd_char">add_char</a> [<a href="UnicodeString.Type.Buf.html">UnicodeString.Type.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="UText.Buf.html#VALadd_char">add_char</a> [<a href="UText.Buf.html">UText.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="UTF8.Buf.html#VALadd_char">add_char</a> [<a href="UTF8.Buf.html">UTF8.Buf</a>]</td>
<td><div class="info">
Add one Unicode character to the buffer.
</div>
</td></tr>
<tr><td><a href="UTF16.Buf.html#VALadd_char">add_char</a> [<a href="UTF16.Buf.html">UTF16.Buf</a>]</td>
<td><div class="info">
if the character is not representable, raise Out_of_range
</div>
</td></tr>
<tr><td><a href="UCS4.Buf.html#VALadd_char">add_char</a> [<a href="UCS4.Buf.html">UCS4.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="SubText.Type.Buf.html#VALadd_char">add_char</a> [<a href="SubText.Type.Buf.html">SubText.Type.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="UNF.Type.NFCBuf.html#VALadd_char">add_char</a> [<a href="UNF.Type.NFCBuf.html">UNF.Type.NFCBuf</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UCS4.Buf.html#VALadd_char">add_char</a> [<a href="Main.Type.UCS4.Buf.html">Main.Type.UCS4.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UTF16.Buf.html#VALadd_char">add_char</a> [<a href="Main.Type.UTF16.Buf.html">Main.Type.UTF16.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UTF8.Buf.html#VALadd_char">add_char</a> [<a href="Main.Type.UTF8.Buf.html">Main.Type.UTF8.Buf</a>]</td>
<td><div class="info">
Add the UTF-8 string to the buffer.
</div>
</td></tr>
<tr><td><a href="Main.Type.SubText.Type.Buf.html#VALadd_char">add_char</a> [<a href="Main.Type.SubText.Type.Buf.html">Main.Type.SubText.Type.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.XString.Buf.html#VALadd_char">add_char</a> [<a href="Main.Type.XString.Buf.html">Main.Type.XString.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.XString.html#VALadd_char">add_char</a> [<a href="Main.Type.XString.html">Main.Type.XString</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UText.Buf.html#VALadd_char">add_char</a> [<a href="Main.Type.UText.Buf.html">Main.Type.UText.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UnicodeString.Type.Buf.html#VALadd_char">add_char</a> [<a href="Main.Type.UnicodeString.Type.Buf.html">Main.Type.UnicodeString.Type.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="XArray.html#VALadd_element">add_element</a> [<a href="XArray.html">XArray</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.XArray.html#VALadd_element">add_element</a> [<a href="Main.Type.XArray.html">Main.Type.XArray</a>]</td>
<td></td></tr>
<tr><td><a href="USet.html#VALadd_range">add_range</a> [<a href="USet.html">USet</a>]</td>
<td><div class="info">
<code class="code">add_range u1 u2 s</code> adds the characters in the range <code class="code">u1</code> - <code class="code">u2</code>
to <code class="code">s</code>.
</div>
</td></tr>
<tr><td><a href="UMap.html#VALadd_range">add_range</a> [<a href="UMap.html">UMap</a>]</td>
<td><div class="info">
<code class="code">add ?eq u1 u2 v m</code> returns the new map which is same to <code class="code">m</code>
except it maps characters in the range <code class="code">u1</code>-<code class="code">u2</code>
to some value <code class="code">v'</code> which satisfies <code class="code">eq v v'</code>.
</div>
</td></tr>
<tr><td><a href="ISet.html#VALadd_range">add_range</a> [<a href="ISet.html">ISet</a>]</td>
<td></td></tr>
<tr><td><a href="IMap.html#VALadd_range">add_range</a> [<a href="IMap.html">IMap</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UMap.html#VALadd_range">add_range</a> [<a href="Main.Type.UMap.html">Main.Type.UMap</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.USet.html#VALadd_range">add_range</a> [<a href="Main.Type.USet.html">Main.Type.USet</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.IMap.html#VALadd_range">add_range</a> [<a href="Main.Type.IMap.html">Main.Type.IMap</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.ISet.html#VALadd_range">add_range</a> [<a href="Main.Type.ISet.html">Main.Type.ISet</a>]</td>
<td></td></tr>
<tr><td><a href="XString.Buf.html#VALadd_string">add_string</a> [<a href="XString.Buf.html">XString.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="UnicodeString.Type.Buf.html#VALadd_string">add_string</a> [<a href="UnicodeString.Type.Buf.html">UnicodeString.Type.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="UText.Buf.html#VALadd_string">add_string</a> [<a href="UText.Buf.html">UText.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="UTF8.Buf.html#VALadd_string">add_string</a> [<a href="UTF8.Buf.html">UTF8.Buf</a>]</td>
<td><div class="info">
Add the UTF-8 string to the buffer.
</div>
</td></tr>
<tr><td><a href="UTF16.Buf.html#VALadd_string">add_string</a> [<a href="UTF16.Buf.html">UTF16.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="UCS4.Buf.html#VALadd_string">add_string</a> [<a href="UCS4.Buf.html">UCS4.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="SubText.Type.Buf.html#VALadd_string">add_string</a> [<a href="SubText.Type.Buf.html">SubText.Type.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="UNF.Type.NFCBuf.html#VALadd_string">add_string</a> [<a href="UNF.Type.NFCBuf.html">UNF.Type.NFCBuf</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UCS4.Buf.html#VALadd_string">add_string</a> [<a href="Main.Type.UCS4.Buf.html">Main.Type.UCS4.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UTF16.Buf.html#VALadd_string">add_string</a> [<a href="Main.Type.UTF16.Buf.html">Main.Type.UTF16.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UTF8.Buf.html#VALadd_string">add_string</a> [<a href="Main.Type.UTF8.Buf.html">Main.Type.UTF8.Buf</a>]</td>
<td><div class="info">
<code class="code">add_buffer b1 b2</code> adds the contents of <code class="code">b2</code> to <code class="code">b1</code>.
</div>
</td></tr>
<tr><td><a href="Main.Type.SubText.Type.Buf.html#VALadd_string">add_string</a> [<a href="Main.Type.SubText.Type.Buf.html">Main.Type.SubText.Type.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.XString.Buf.html#VALadd_string">add_string</a> [<a href="Main.Type.XString.Buf.html">Main.Type.XString.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UText.Buf.html#VALadd_string">add_string</a> [<a href="Main.Type.UText.Buf.html">Main.Type.UText.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UnicodeString.Type.Buf.html#VALadd_string">add_string</a> [<a href="Main.Type.UnicodeString.Type.Buf.html">Main.Type.UnicodeString.Type.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="XString.html#VALadd_text">add_text</a> [<a href="XString.html">XString</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.XString.html#VALadd_text">add_text</a> [<a href="Main.Type.XString.html">Main.Type.XString</a>]</td>
<td></td></tr>
<tr><td><a href="XArray.html#VALadd_xarray">add_xarray</a> [<a href="XArray.html">XArray</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.XArray.html#VALadd_xarray">add_xarray</a> [<a href="Main.Type.XArray.html">Main.Type.XArray</a>]</td>
<td></td></tr>
<tr><td><a href="XString.html#VALadd_xstring">add_xstring</a> [<a href="XString.html">XString</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.XString.html#VALadd_xstring">add_xstring</a> [<a href="Main.Type.XString.html">Main.Type.XString</a>]</td>
<td></td></tr>
<tr><td><a href="USet.html#VALafter">after</a> [<a href="USet.html">USet</a>]</td>
<td><div class="info">
<code class="code">after u s</code> returns the set of elements of <code class="code">s</code>
whose code points are greater than <code class="code">u</code>.
</div>
</td></tr>
<tr><td><a href="UMap.html#VALafter">after</a> [<a href="UMap.html">UMap</a>]</td>
<td><div class="info">
<code class="code">after u m</code> restricts the domain of <code class="code">m</code> to the characters whose
code points are greater than <code class="code">u</code>.
</div>
</td></tr>
<tr><td><a href="ISet.html#VALafter">after</a> [<a href="ISet.html">ISet</a>]</td>
<td></td></tr>
<tr><td><a href="IMap.html#VALafter">after</a> [<a href="IMap.html">IMap</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UMap.html#VALafter">after</a> [<a href="Main.Type.UMap.html">Main.Type.UMap</a>]</td>
<td><div class="info">
<code class="code">until u m</code> restricts the domain of <code class="code">m</code> to the characters whose
code points are equal or smaller than <code class="code">u</code>.
</div>
</td></tr>
<tr><td><a href="Main.Type.USet.html#VALafter">after</a> [<a href="Main.Type.USet.html">Main.Type.USet</a>]</td>
<td><div class="info">
<code class="code">until u s</code> returns the set of elements of <code class="code">s</code>
whose code points are equal or smaller than <code class="code">u</code>.
</div>
</td></tr>
<tr><td><a href="Main.Type.IMap.html#VALafter">after</a> [<a href="Main.Type.IMap.html">Main.Type.IMap</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.ISet.html#VALafter">after</a> [<a href="Main.Type.ISet.html">Main.Type.ISet</a>]</td>
<td></td></tr>
<tr><td><a href="CharEncoding.Interface.html#VALalias">alias</a> [<a href="CharEncoding.Interface.html">CharEncoding.Interface</a>]</td>
<td><div class="info">
<code class="code">alias alias name</code> : Define <code class="code">alias</code> as an alias of
the encoding with the name <code class="code">name</code>.
</div>
</td></tr>
<tr><td><a href="XString.html#VALappend">append</a> [<a href="XString.html">XString</a>]</td>
<td></td></tr>
<tr><td><a href="XArray.html#VALappend">append</a> [<a href="XArray.html">XArray</a>]</td>
<td></td></tr>
<tr><td><a href="UText.html#VALappend">append</a> [<a href="UText.html">UText</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.XString.html#VALappend">append</a> [<a href="Main.Type.XString.html">Main.Type.XString</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UText.html#VALappend">append</a> [<a href="Main.Type.UText.html">Main.Type.UText</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.XArray.html#VALappend">append</a> [<a href="Main.Type.XArray.html">Main.Type.XArray</a>]</td>
<td></td></tr>
<tr><td><a href="XArray.html#VALarray_of">array_of</a> [<a href="XArray.html">XArray</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.XArray.html#VALarray_of">array_of</a> [<a href="Main.Type.XArray.html">Main.Type.XArray</a>]</td>
<td></td></tr>
<tr><td><a href="CharEncoding.Interface.html#VALascii">ascii</a> [<a href="CharEncoding.Interface.html">CharEncoding.Interface</a>]</td>
<td></td></tr>
<tr><td><a href="CharEncoding.Interface.html#VALautomatic">automatic</a> [<a href="CharEncoding.Interface.html">CharEncoding.Interface</a>]</td>
<td><div class="info">
<code class="code">automatic name [enc_1; enc_2; ... enc_n] enc</code>
creates the new encoding <code class="code">name</code>
doing automatic encoding detection among <code class="code">enc_1</code>, <code class="code">enc_2</code>, ..., <code class="code">enc_n</code>
by the given order.
</div>
</td></tr>
<tr><td align="left"><br>B</td></tr>
<tr><td><a href="USet.html#VALbefore">before</a> [<a href="USet.html">USet</a>]</td>
<td><div class="info">
<code class="code">until u s</code> returns the set of elements of <code class="code">s</code>
whose code points are smaller than <code class="code">u</code>.
</div>
</td></tr>
<tr><td><a href="UMap.html#VALbefore">before</a> [<a href="UMap.html">UMap</a>]</td>
<td><div class="info">
<code class="code">before u m</code> restricts the domain of <code class="code">m</code> to the characters whose
code points are smaller than <code class="code">u</code>.
</div>
</td></tr>
<tr><td><a href="ISet.html#VALbefore">before</a> [<a href="ISet.html">ISet</a>]</td>
<td></td></tr>
<tr><td><a href="IMap.html#VALbefore">before</a> [<a href="IMap.html">IMap</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UMap.html#VALbefore">before</a> [<a href="Main.Type.UMap.html">Main.Type.UMap</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.USet.html#VALbefore">before</a> [<a href="Main.Type.USet.html">Main.Type.USet</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.IMap.html#VALbefore">before</a> [<a href="Main.Type.IMap.html">Main.Type.IMap</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.ISet.html#VALbefore">before</a> [<a href="Main.Type.ISet.html">Main.Type.ISet</a>]</td>
<td></td></tr>
<tr><td><a href="UText.html#VALblit">blit</a> [<a href="UText.html">UText</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UText.html#VALblit">blit</a> [<a href="Main.Type.UText.html">Main.Type.UText</a>]</td>
<td></td></tr>
<tr><td align="left"><br>C</td></tr>
<tr><td><a href="UNF.Type.html#VALcanon_compare">canon_compare</a> [<a href="UNF.Type.html">UNF.Type</a>]</td>
<td></td></tr>
<tr><td><a href="USet.html#VALcardinal">cardinal</a> [<a href="USet.html">USet</a>]</td>
<td></td></tr>
<tr><td><a href="ISet.html#VALcardinal">cardinal</a> [<a href="ISet.html">ISet</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.USet.html#VALcardinal">cardinal</a> [<a href="Main.Type.USet.html">Main.Type.USet</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.ISet.html#VALcardinal">cardinal</a> [<a href="Main.Type.ISet.html">Main.Type.ISet</a>]</td>
<td></td></tr>
<tr><td><a href="CaseMap.Type.html#VALcasefolding">casefolding</a> [<a href="CaseMap.Type.html">CaseMap.Type</a>]</td>
<td><div class="info">
Case foldding
</div>
</td></tr>
<tr><td><a href="UChar.html#VALchar_of">char_of</a> [<a href="UChar.html">UChar</a>]</td>
<td><div class="info">
<code class="code">char_of u</code> returns the Latin-1 representation of <code class="code">u</code>.
</div>
</td></tr>
<tr><td><a href="Main.Type.UChar.html#VALchar_of">char_of</a> [<a href="Main.Type.UChar.html">Main.Type.UChar</a>]</td>
<td><div class="info">
<code class="code">of_char c</code> returns the Unicode character of the Latin-1 character <code class="code">c</code>
</div>
</td></tr>
<tr><td><a href="CharEncoding.Interface.html#VALchar_stream_of">char_stream_of</a> [<a href="CharEncoding.Interface.html">CharEncoding.Interface</a>]</td>
<td><div class="info">
<code class="code">char_stream_of enc uchars</code> converts the Unicode character stream
<code class="code">uchars</code> to the byte stream by the encoding <code class="code">enc</code>
</div>
</td></tr>
<tr><td><a href="USet.html#VALchoose">choose</a> [<a href="USet.html">USet</a>]</td>
<td><div class="info">
Returns a element roughly in the middle of the set.
</div>
</td></tr>
<tr><td><a href="ISet.html#VALchoose">choose</a> [<a href="ISet.html">ISet</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.USet.html#VALchoose">choose</a> [<a href="Main.Type.USet.html">Main.Type.USet</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.ISet.html#VALchoose">choose</a> [<a href="Main.Type.ISet.html">Main.Type.ISet</a>]</td>
<td></td></tr>
<tr><td><a href="UChar.html#VALchr">chr</a> [<a href="UChar.html">UChar</a>]</td>
<td><div class="info">
<code class="code">code n</code> returns the Unicode character with the code number <code class="code">n</code>.
</div>
</td></tr>
<tr><td><a href="Main.Type.UChar.html#VALchr">chr</a> [<a href="Main.Type.UChar.html">Main.Type.UChar</a>]</td>
<td><div class="info">
<code class="code">uint_code u</code> returns the Unicode code number of <code class="code">u</code>.
</div>
</td></tr>
<tr><td><a href="UChar.html#VALchr_of_uint">chr_of_uint</a> [<a href="UChar.html">UChar</a>]</td>
<td><div class="info">
<code class="code">chr_of_uint n</code> returns the Unicode character of the code number <code class="code">n</code>.
</div>
</td></tr>
<tr><td><a href="Main.Type.UChar.html#VALchr_of_uint">chr_of_uint</a> [<a href="Main.Type.UChar.html">Main.Type.UChar</a>]</td>
<td><div class="info">
Equality by code point comparison
</div>
</td></tr>
<tr><td><a href="XString.Buf.html#VALclear">clear</a> [<a href="XString.Buf.html">XString.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="XString.html#VALclear">clear</a> [<a href="XString.html">XString</a>]</td>
<td></td></tr>
<tr><td><a href="XArray.html#VALclear">clear</a> [<a href="XArray.html">XArray</a>]</td>
<td></td></tr>
<tr><td><a href="UnicodeString.Type.Buf.html#VALclear">clear</a> [<a href="UnicodeString.Type.Buf.html">UnicodeString.Type.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="UText.Buf.html#VALclear">clear</a> [<a href="UText.Buf.html">UText.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="UTF8.Buf.html#VALclear">clear</a> [<a href="UTF8.Buf.html">UTF8.Buf</a>]</td>
<td><div class="info">
Empty the buffer,
but retains the internal storage which was holding the contents
</div>
</td></tr>
<tr><td><a href="UTF16.Buf.html#VALclear">clear</a> [<a href="UTF16.Buf.html">UTF16.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="UCS4.Buf.html#VALclear">clear</a> [<a href="UCS4.Buf.html">UCS4.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="SubText.Type.Buf.html#VALclear">clear</a> [<a href="SubText.Type.Buf.html">SubText.Type.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="UNF.Type.NFCBuf.html#VALclear">clear</a> [<a href="UNF.Type.NFCBuf.html">UNF.Type.NFCBuf</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UCS4.Buf.html#VALclear">clear</a> [<a href="Main.Type.UCS4.Buf.html">Main.Type.UCS4.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UTF16.Buf.html#VALclear">clear</a> [<a href="Main.Type.UTF16.Buf.html">Main.Type.UTF16.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UTF8.Buf.html#VALclear">clear</a> [<a href="Main.Type.UTF8.Buf.html">Main.Type.UTF8.Buf</a>]</td>
<td><div class="info">
Empty the buffer and de-allocate the internal storage.
</div>
</td></tr>
<tr><td><a href="Main.Type.SubText.Type.Buf.html#VALclear">clear</a> [<a href="Main.Type.SubText.Type.Buf.html">Main.Type.SubText.Type.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.XString.Buf.html#VALclear">clear</a> [<a href="Main.Type.XString.Buf.html">Main.Type.XString.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.XString.html#VALclear">clear</a> [<a href="Main.Type.XString.html">Main.Type.XString</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UText.Buf.html#VALclear">clear</a> [<a href="Main.Type.UText.Buf.html">Main.Type.UText.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UnicodeString.Type.Buf.html#VALclear">clear</a> [<a href="Main.Type.UnicodeString.Type.Buf.html">Main.Type.UnicodeString.Type.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.XArray.html#VALclear">clear</a> [<a href="Main.Type.XArray.html">Main.Type.XArray</a>]</td>
<td></td></tr>
<tr><td><a href="UChar.html#VALcode">code</a> [<a href="UChar.html">UChar</a>]</td>
<td><div class="info">
<code class="code">code u</code> returns the Unicode code number of <code class="code">u</code>.
</div>
</td></tr>
<tr><td><a href="Main.Type.UChar.html#VALcode">code</a> [<a href="Main.Type.UChar.html">Main.Type.UChar</a>]</td>
<td><div class="info">
<code class="code">code n</code> returns the Unicode character with the code number <code class="code">n</code>.
</div>
</td></tr>
<tr><td><a href="UCharInfo.Type.html#VALcombined_class">combined_class</a> [<a href="UCharInfo.Type.html">UCharInfo.Type</a>]</td>
<td><div class="info">
Combined class
A combined class is an integer of 0 -- 255, showing how this character
interacts to other combined characters.
</div>
</td></tr>
<tr><td><a href="XString.html#VALcompare">compare</a> [<a href="XString.html">XString</a>]</td>
<td></td></tr>
<tr><td><a href="UnicodeString.Type.html#VALcompare">compare</a> [<a href="UnicodeString.Type.html">UnicodeString.Type</a>]</td>
<td></td></tr>
<tr><td><a href="UText.html#VALcompare">compare</a> [<a href="UText.html">UText</a>]</td>
<td></td></tr>
<tr><td><a href="UTF8.html#VALcompare">compare</a> [<a href="UTF8.html">UTF8</a>]</td>
<td><div class="info">
Code point comparison by the lexicographic order.
</div>
</td></tr>
<tr><td><a href="UTF16.html#VALcompare">compare</a> [<a href="UTF16.html">UTF16</a>]</td>
<td><div class="info">
Code point comparison
</div>
</td></tr>
<tr><td><a href="USet.html#VALcompare">compare</a> [<a href="USet.html">USet</a>]</td>
<td></td></tr>
<tr><td><a href="UChar.html#VALcompare">compare</a> [<a href="UChar.html">UChar</a>]</td>
<td><div class="info">
<code class="code">compare u1 u2</code> returns,
a value > 0 if <code class="code">u1</code> has a larger Unicode code number than <code class="code">u2</code>,
0 if <code class="code">u1</code> and <code class="code">u2</code> are the same Unicode character,
a value < 0 if <code class="code">u1</code> has a smaller Unicode code number than <code class="code">u2</code>.
</div>
</td></tr>
<tr><td><a href="UCS4.html#VALcompare">compare</a> [<a href="UCS4.html">UCS4</a>]</td>
<td><div class="info">
Code point comparison
</div>
</td></tr>
<tr><td><a href="ISet.html#VALcompare">compare</a> [<a href="ISet.html">ISet</a>]</td>
<td></td></tr>
<tr><td><a href="SubText.Type.html#VALcompare">compare</a> [<a href="SubText.Type.html">SubText.Type</a>]</td>
<td></td></tr>
<tr><td><a href="UCol.Type.html#VALcompare">compare</a> [<a href="UCol.Type.html">UCol.Type</a>]</td>
<td><div class="info">
For locale, see <a href="Locale.html"><code class="code">Locale</code></a>.
</div>
</td></tr>
<tr><td><a href="Main.Type.UCS4.html#VALcompare">compare</a> [<a href="Main.Type.UCS4.html">Main.Type.UCS4</a>]</td>
<td><div class="info">
Buffer module for UCS4
</div>
</td></tr>
<tr><td><a href="Main.Type.UTF16.html#VALcompare">compare</a> [<a href="Main.Type.UTF16.html">Main.Type.UTF16</a>]</td>
<td><div class="info">
Buffer module for UTF-16
</div>
</td></tr>
<tr><td><a href="Main.Type.UTF8.html#VALcompare">compare</a> [<a href="Main.Type.UTF8.html">Main.Type.UTF8</a>]</td>
<td><div class="info">
Buffer module for UTF-8 strings
</div>
</td></tr>
<tr><td><a href="Main.Type.SubText.Type.html#VALcompare">compare</a> [<a href="Main.Type.SubText.Type.html">Main.Type.SubText.Type</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.XString.html#VALcompare">compare</a> [<a href="Main.Type.XString.html">Main.Type.XString</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UText.html#VALcompare">compare</a> [<a href="Main.Type.UText.html">Main.Type.UText</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UnicodeString.Type.html#VALcompare">compare</a> [<a href="Main.Type.UnicodeString.Type.html">Main.Type.UnicodeString.Type</a>]</td>
<td><div class="info">
The location of the first character in the storage.
</div>
</td></tr>
<tr><td><a href="Main.Type.USet.html#VALcompare">compare</a> [<a href="Main.Type.USet.html">Main.Type.USet</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UChar.html#VALcompare">compare</a> [<a href="Main.Type.UChar.html">Main.Type.UChar</a>]</td>
<td><div class="info">
Aliases of <code class="code">type t</code>
</div>
</td></tr>
<tr><td><a href="Main.Type.ISet.html#VALcompare">compare</a> [<a href="Main.Type.ISet.html">Main.Type.ISet</a>]</td>
<td></td></tr>
<tr><td><a href="CaseMap.Type.html#VALcompare_caseless">compare_caseless</a> [<a href="CaseMap.Type.html">CaseMap.Type</a>]</td>
<td><div class="info">
Caseless comparison
</div>
</td></tr>
<tr><td><a href="XString.html#VALcompare_index">compare_index</a> [<a href="XString.html">XString</a>]</td>
<td></td></tr>
<tr><td><a href="XArray.html#VALcompare_index">compare_index</a> [<a href="XArray.html">XArray</a>]</td>
<td></td></tr>
<tr><td><a href="UnicodeString.Type.html#VALcompare_index">compare_index</a> [<a href="UnicodeString.Type.html">UnicodeString.Type</a>]</td>
<td><div class="info">
<code class="code">compare_index t i j</code> returns
a positive integer if <code class="code">i</code> is the location placed after <code class="code">j</code> in <code class="code">t</code>,
0 if <code class="code">i</code> and <code class="code">j</code> point the same location, and
a negative integer if <code class="code">i</code> is the location placed before <code class="code">j</code> in <code class="code">t</code>.
</div>
</td></tr>
<tr><td><a href="UText.html#VALcompare_index">compare_index</a> [<a href="UText.html">UText</a>]</td>
<td></td></tr>
<tr><td><a href="UTF8.html#VALcompare_index">compare_index</a> [<a href="UTF8.html">UTF8</a>]</td>
<td><div class="info">
<code class="code">compare_index s i1 i2</code> returns
a value < 0 if <code class="code">i1</code> is the position located before <code class="code">i2</code>,
0 if <code class="code">i1</code> and <code class="code">i2</code> points the same location,
a value > 0 if <code class="code">i1</code> is the position located after <code class="code">i2</code>.
</div>
</td></tr>
<tr><td><a href="UTF16.html#VALcompare_index">compare_index</a> [<a href="UTF16.html">UTF16</a>]</td>
<td><div class="info">
<code class="code">compare_aux s i1 i2</code> returns If <code class="code">i1</code> is the position located before <code class="code">i2</code>, a value < 0,, If <code class="code">i1</code> and <code class="code">i2</code> points the same location, 0,, If <code class="code">i1</code> is the position located after <code class="code">i2</code>, a value > 0.
</div>
</td></tr>
<tr><td><a href="UCS4.html#VALcompare_index">compare_index</a> [<a href="UCS4.html">UCS4</a>]</td>
<td><div class="info">
<code class="code">compare_aux s i1 i2</code> returns
If <code class="code">i1</code> is the position located before <code class="code">i2</code>, a value < 0,
If <code class="code">i1</code> and <code class="code">i2</code> points the same location, 0,
If <code class="code">i1</code> is the position located after <code class="code">i2</code>, a value > 0.
</div>
</td></tr>
<tr><td><a href="SubText.Type.html#VALcompare_index">compare_index</a> [<a href="SubText.Type.html">SubText.Type</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UCS4.html#VALcompare_index">compare_index</a> [<a href="Main.Type.UCS4.html">Main.Type.UCS4</a>]</td>
<td><div class="info">
<code class="code">next s i</code>
returns the position of the head of the Unicode character
located immediately after <code class="code">i</code>.
</div>
</td></tr>
<tr><td><a href="Main.Type.UTF16.html#VALcompare_index">compare_index</a> [<a href="Main.Type.UTF16.html">Main.Type.UTF16</a>]</td>
<td><div class="info">
<code class="code">next s i</code>
returns the position of the head of the Unicode character
located immediately after <code class="code">i</code>.
</div>
</td></tr>
<tr><td><a href="Main.Type.UTF8.html#VALcompare_index">compare_index</a> [<a href="Main.Type.UTF8.html">Main.Type.UTF8</a>]</td>
<td><div class="info">
<code class="code">next s i</code>
returns the position of the head of the Unicode character
located immediately after <code class="code">i</code>.
</div>
</td></tr>
<tr><td><a href="Main.Type.SubText.Type.html#VALcompare_index">compare_index</a> [<a href="Main.Type.SubText.Type.html">Main.Type.SubText.Type</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.XString.html#VALcompare_index">compare_index</a> [<a href="Main.Type.XString.html">Main.Type.XString</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UText.html#VALcompare_index">compare_index</a> [<a href="Main.Type.UText.html">Main.Type.UText</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UnicodeString.Type.html#VALcompare_index">compare_index</a> [<a href="Main.Type.UnicodeString.Type.html">Main.Type.UnicodeString.Type</a>]</td>
<td><div class="info">
Character buffers.
</div>
</td></tr>
<tr><td><a href="Main.Type.XArray.html#VALcompare_index">compare_index</a> [<a href="Main.Type.XArray.html">Main.Type.XArray</a>]</td>
<td></td></tr>
<tr><td><a href="UCol.Type.html#VALcompare_with_key">compare_with_key</a> [<a href="UCol.Type.html">UCol.Type</a>]</td>
<td><div class="info">
Comparison with the sort key.
</div>
</td></tr>
<tr><td><a href="URe.Type.html#VALcompile">compile</a> [<a href="URe.Type.html">URe.Type</a>]</td>
<td><div class="info">
Compile regular expressions.
</div>
</td></tr>
<tr><td><a href="UReStr.Interface.Type.html#VALcompile">compile</a> [<a href="UReStr.Interface.Type.html">UReStr.Interface.Type</a>]</td>
<td><div class="info">
Compile regular expressions.
</div>
</td></tr>
<tr><td><a href="Main.Type.URe.Type.html#VALcompile">compile</a> [<a href="Main.Type.URe.Type.html">Main.Type.URe.Type</a>]</td>
<td><div class="info">
<code class="code">regexp_match ?sem r t i</code> tries matching <code class="code">r</code> and substrings
of <code class="code">t</code> beginning from <code class="code">i</code>.
</div>
</td></tr>
<tr><td><a href="USet.html#VALcompl">compl</a> [<a href="USet.html">USet</a>]</td>
<td><div class="info">
<code class="code">compl s</code> returns the compliment of <code class="code">s</code>.
</div>
</td></tr>
<tr><td><a href="ISet.html#VALcompl">compl</a> [<a href="ISet.html">ISet</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.USet.html#VALcompl">compl</a> [<a href="Main.Type.USet.html">Main.Type.USet</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.ISet.html#VALcompl">compl</a> [<a href="Main.Type.ISet.html">Main.Type.ISet</a>]</td>
<td></td></tr>
<tr><td><a href="Locale.html#VALcontain">contain</a> [<a href="Locale.html">Locale</a>]</td>
<td><div class="info">
<code class="code">contain loc1 loc2</code> :
If <code class="code">loc1</code> is contained in <code class="code">loc2</code> then true otherwise false.
</div>
</td></tr>
<tr><td><a href="Main.Type.Locale.html#VALcontain">contain</a> [<a href="Main.Type.Locale.html">Main.Type.Locale</a>]</td>
<td></td></tr>
<tr><td><a href="XString.Buf.html#VALcontents">contents</a> [<a href="XString.Buf.html">XString.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="UnicodeString.Type.Buf.html#VALcontents">contents</a> [<a href="UnicodeString.Type.Buf.html">UnicodeString.Type.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="UText.Buf.html#VALcontents">contents</a> [<a href="UText.Buf.html">UText.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="UTF8.Buf.html#VALcontents">contents</a> [<a href="UTF8.Buf.html">UTF8.Buf</a>]</td>
<td><div class="info">
<code class="code">contents buf</code> returns the contents of the buffer.
</div>
</td></tr>
<tr><td><a href="UTF16.Buf.html#VALcontents">contents</a> [<a href="UTF16.Buf.html">UTF16.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="UCS4.Buf.html#VALcontents">contents</a> [<a href="UCS4.Buf.html">UCS4.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="SubText.Type.Buf.html#VALcontents">contents</a> [<a href="SubText.Type.Buf.html">SubText.Type.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="UNF.Type.NFCBuf.html#VALcontents">contents</a> [<a href="UNF.Type.NFCBuf.html">UNF.Type.NFCBuf</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UCS4.Buf.html#VALcontents">contents</a> [<a href="Main.Type.UCS4.Buf.html">Main.Type.UCS4.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UTF16.Buf.html#VALcontents">contents</a> [<a href="Main.Type.UTF16.Buf.html">Main.Type.UTF16.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UTF8.Buf.html#VALcontents">contents</a> [<a href="Main.Type.UTF8.Buf.html">Main.Type.UTF8.Buf</a>]</td>
<td><div class="info">
<code class="code">contents buf</code> returns the contents of the buffer.
</div>
</td></tr>
<tr><td><a href="Main.Type.SubText.Type.Buf.html#VALcontents">contents</a> [<a href="Main.Type.SubText.Type.Buf.html">Main.Type.SubText.Type.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.XString.Buf.html#VALcontents">contents</a> [<a href="Main.Type.XString.Buf.html">Main.Type.XString.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UText.Buf.html#VALcontents">contents</a> [<a href="Main.Type.UText.Buf.html">Main.Type.UText.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UnicodeString.Type.Buf.html#VALcontents">contents</a> [<a href="Main.Type.UnicodeString.Type.Buf.html">Main.Type.UnicodeString.Type.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="UText.Buf.html#VALcontents_string">contents_string</a> [<a href="UText.Buf.html">UText.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UText.Buf.html#VALcontents_string">contents_string</a> [<a href="Main.Type.UText.Buf.html">Main.Type.UText.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="SubText.Type.html#VALcontext">context</a> [<a href="SubText.Type.html">SubText.Type</a>]</td>
<td><div class="info">
<code class="code">context t</code> returns the tuple <code class="code">(s, i, j)</code> such that
<code class="code">t = refer s i j</code>.
</div>
</td></tr>
<tr><td><a href="Main.Type.SubText.Type.html#VALcontext">context</a> [<a href="Main.Type.SubText.Type.html">Main.Type.SubText.Type</a>]</td>
<td><div class="info">
Conversion from indexes of sub-texts to ur_texts.
</div>
</td></tr>
<tr><td><a href="XString.html#VALcopy">copy</a> [<a href="XString.html">XString</a>]</td>
<td></td></tr>
<tr><td><a href="XArray.html#VALcopy">copy</a> [<a href="XArray.html">XArray</a>]</td>
<td></td></tr>
<tr><td><a href="UText.html#VALcopy">copy</a> [<a href="UText.html">UText</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.XString.html#VALcopy">copy</a> [<a href="Main.Type.XString.html">Main.Type.XString</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UText.html#VALcopy">copy</a> [<a href="Main.Type.UText.html">Main.Type.UText</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.XArray.html#VALcopy">copy</a> [<a href="Main.Type.XArray.html">Main.Type.XArray</a>]</td>
<td></td></tr>
<tr><td><a href="XString.Buf.html#VALcreate">create</a> [<a href="XString.Buf.html">XString.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="UnicodeString.Type.Buf.html#VALcreate">create</a> [<a href="UnicodeString.Type.Buf.html">UnicodeString.Type.Buf</a>]</td>
<td><div class="info">
<code class="code">create n</code> creates the buffer.
</div>
</td></tr>
<tr><td><a href="UText.Buf.html#VALcreate">create</a> [<a href="UText.Buf.html">UText.Buf</a>]</td>
<td><div class="info">
<code class="code">create n</code> creates the buffer which initially can contain
<code class="code">n</code> Unicode characters.
</div>
</td></tr>
<tr><td><a href="UTF8.Buf.html#VALcreate">create</a> [<a href="UTF8.Buf.html">UTF8.Buf</a>]</td>
<td><div class="info">
<code class="code">create n</code> creates the buffer with the initial size <code class="code">n</code>-bytes.
</div>
</td></tr>
<tr><td><a href="UTF16.Buf.html#VALcreate">create</a> [<a href="UTF16.Buf.html">UTF16.Buf</a>]</td>
<td><div class="info">
create n : creates the buffer with the initial size <code class="code">n</code>.
</div>
</td></tr>
<tr><td><a href="UCS4.Buf.html#VALcreate">create</a> [<a href="UCS4.Buf.html">UCS4.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="SubText.Type.Buf.html#VALcreate">create</a> [<a href="SubText.Type.Buf.html">SubText.Type.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="UNF.Type.NFCBuf.html#VALcreate">create</a> [<a href="UNF.Type.NFCBuf.html">UNF.Type.NFCBuf</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UCS4.Buf.html#VALcreate">create</a> [<a href="Main.Type.UCS4.Buf.html">Main.Type.UCS4.Buf</a>]</td>
<td><div class="info">
The rest of functions is similar to the ones of Buffer in stdlib.
</div>
</td></tr>
<tr><td><a href="Main.Type.UTF16.Buf.html#VALcreate">create</a> [<a href="Main.Type.UTF16.Buf.html">Main.Type.UTF16.Buf</a>]</td>
<td><div class="info">
The rest of functions is similar to the ones of Buffer in stdlib.
</div>
</td></tr>
<tr><td><a href="Main.Type.UTF8.Buf.html#VALcreate">create</a> [<a href="Main.Type.UTF8.Buf.html">Main.Type.UTF8.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.SubText.Type.Buf.html#VALcreate">create</a> [<a href="Main.Type.SubText.Type.Buf.html">Main.Type.SubText.Type.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.XString.Buf.html#VALcreate">create</a> [<a href="Main.Type.XString.Buf.html">Main.Type.XString.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UText.Buf.html#VALcreate">create</a> [<a href="Main.Type.UText.Buf.html">Main.Type.UText.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UnicodeString.Type.Buf.html#VALcreate">create</a> [<a href="Main.Type.UnicodeString.Type.Buf.html">Main.Type.UnicodeString.Type.Buf</a>]</td>
<td></td></tr>
<tr><td align="left"><br>D</td></tr>
<tr><td><a href="CharEncoding.Interface.Type.html#VALdecode">decode</a> [<a href="CharEncoding.Interface.Type.html">CharEncoding.Interface.Type</a>]</td>
<td><div class="info">
<code class="code">decode enc s</code> converts the string <code class="code">s</code> encoded
by the encoding <code class="code">enc</code> to the Unicode text.
</div>
</td></tr>
<tr><td><a href="USet.html#VALdiff">diff</a> [<a href="USet.html">USet</a>]</td>
<td></td></tr>
<tr><td><a href="ISet.html#VALdiff">diff</a> [<a href="ISet.html">ISet</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.USet.html#VALdiff">diff</a> [<a href="Main.Type.USet.html">Main.Type.USet</a>]</td>
<td><div class="info">
<code class="code">compl s</code> returns the compliment of <code class="code">s</code>.
</div>
</td></tr>
<tr><td><a href="Main.Type.ISet.html#VALdiff">diff</a> [<a href="Main.Type.ISet.html">Main.Type.ISet</a>]</td>
<td></td></tr>
<tr><td><a href="UMap.html#VALdomain">domain</a> [<a href="UMap.html">UMap</a>]</td>
<td><div class="info">
Domain.
</div>
</td></tr>
<tr><td><a href="IMap.html#VALdomain">domain</a> [<a href="IMap.html">IMap</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UMap.html#VALdomain">domain</a> [<a href="Main.Type.UMap.html">Main.Type.UMap</a>]</td>
<td><div class="info">
<code class="code">map_to_set p m</code> returns the set of characters which are mapped
to values satisfying the predicate <code class="code">p</code> by <code class="code">m</code>.
</div>
</td></tr>
<tr><td><a href="Main.Type.IMap.html#VALdomain">domain</a> [<a href="Main.Type.IMap.html">Main.Type.IMap</a>]</td>
<td></td></tr>
<tr><td align="left"><br>E</td></tr>
<tr><td><a href="USet.html#VALelements">elements</a> [<a href="USet.html">USet</a>]</td>
<td></td></tr>
<tr><td><a href="ISet.html#VALelements">elements</a> [<a href="ISet.html">ISet</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.USet.html#VALelements">elements</a> [<a href="Main.Type.USet.html">Main.Type.USet</a>]</td>
<td><div class="info">
The list of the intervals contained in the set.
</div>
</td></tr>
<tr><td><a href="Main.Type.ISet.html#VALelements">elements</a> [<a href="Main.Type.ISet.html">Main.Type.ISet</a>]</td>
<td></td></tr>
<tr><td><a href="USet.html#VALempty">empty</a> [<a href="USet.html">USet</a>]</td>
<td></td></tr>
<tr><td><a href="UMap.html#VALempty">empty</a> [<a href="UMap.html">UMap</a>]</td>
<td></td></tr>
<tr><td><a href="ISet.html#VALempty">empty</a> [<a href="ISet.html">ISet</a>]</td>
<td></td></tr>
<tr><td><a href="IMap.html#VALempty">empty</a> [<a href="IMap.html">IMap</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UMap.html#VALempty">empty</a> [<a href="Main.Type.UMap.html">Main.Type.UMap</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.USet.html#VALempty">empty</a> [<a href="Main.Type.USet.html">Main.Type.USet</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.IMap.html#VALempty">empty</a> [<a href="Main.Type.IMap.html">Main.Type.IMap</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.ISet.html#VALempty">empty</a> [<a href="Main.Type.ISet.html">Main.Type.ISet</a>]</td>
<td></td></tr>
<tr><td><a href="CharEncoding.Interface.Type.html#VALencode">encode</a> [<a href="CharEncoding.Interface.Type.html">CharEncoding.Interface.Type</a>]</td>
<td><div class="info">
<code class="code">encode enc t</code> converts the Unicode text <code class="code">t</code> to the string
by the encoding <code class="code">enc</code>.
</div>
</td></tr>
<tr><td><a href="UChar.html#VALeq">eq</a> [<a href="UChar.html">UChar</a>]</td>
<td><div class="info">
Equality by code point comparison
</div>
</td></tr>
<tr><td><a href="Main.Type.UChar.html#VALeq">eq</a> [<a href="Main.Type.UChar.html">Main.Type.UChar</a>]</td>
<td><div class="info">
<code class="code">compare u1 u2</code> returns,
a value > 0 if <code class="code">u1</code> has a larger Unicode code number than <code class="code">u2</code>,
0 if <code class="code">u1</code> and <code class="code">u2</code> are the same Unicode character,
a value < 0 if <code class="code">u1</code> has a smaller Unicode code number than <code class="code">u2</code>.
</div>
</td></tr>
<tr><td><a href="USet.html#VALequal">equal</a> [<a href="USet.html">USet</a>]</td>
<td></td></tr>
<tr><td><a href="ISet.html#VALequal">equal</a> [<a href="ISet.html">ISet</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.USet.html#VALequal">equal</a> [<a href="Main.Type.USet.html">Main.Type.USet</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.ISet.html#VALequal">equal</a> [<a href="Main.Type.ISet.html">Main.Type.ISet</a>]</td>
<td></td></tr>
<tr><td><a href="UPervasives.html#VALescaped_uchar">escaped_uchar</a> [<a href="UPervasives.html">UPervasives</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UPervasives.html#VALescaped_uchar">escaped_uchar</a> [<a href="Main.Type.UPervasives.html">Main.Type.UPervasives</a>]</td>
<td></td></tr>
<tr><td><a href="UPervasives.html#VALescaped_utf8">escaped_utf8</a> [<a href="UPervasives.html">UPervasives</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UPervasives.html#VALescaped_utf8">escaped_utf8</a> [<a href="Main.Type.UPervasives.html">Main.Type.UPervasives</a>]</td>
<td></td></tr>
<tr><td><a href="SubText.Type.html#VALexcerpt">excerpt</a> [<a href="SubText.Type.html">SubText.Type</a>]</td>
<td><div class="info">
<code class="code">excerpt t</code> copies the contents of <code class="code">t</code> as a new ur_text.
</div>
</td></tr>
<tr><td><a href="Main.Type.SubText.Type.html#VALexcerpt">excerpt</a> [<a href="Main.Type.SubText.Type.html">Main.Type.SubText.Type</a>]</td>
<td><div class="info">
<code class="code">context t</code> returns the tuple <code class="code">(s, i, j)</code> such that
<code class="code">t = refer s i j</code>.
</div>
</td></tr>
<tr><td><a href="USet.html#VALexists">exists</a> [<a href="USet.html">USet</a>]</td>
<td></td></tr>
<tr><td><a href="ISet.html#VALexists">exists</a> [<a href="ISet.html">ISet</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.USet.html#VALexists">exists</a> [<a href="Main.Type.USet.html">Main.Type.USet</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.ISet.html#VALexists">exists</a> [<a href="Main.Type.ISet.html">Main.Type.ISet</a>]</td>
<td></td></tr>
<tr><td align="left"><br>F</td></tr>
<tr><td><a href="UText.html#VALfill">fill</a> [<a href="UText.html">UText</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UText.html#VALfill">fill</a> [<a href="Main.Type.UText.html">Main.Type.UText</a>]</td>
<td></td></tr>
<tr><td><a href="USet.html#VALfilter">filter</a> [<a href="USet.html">USet</a>]</td>
<td></td></tr>
<tr><td><a href="ISet.html#VALfilter">filter</a> [<a href="ISet.html">ISet</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.USet.html#VALfilter">filter</a> [<a href="Main.Type.USet.html">Main.Type.USet</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.ISet.html#VALfilter">filter</a> [<a href="Main.Type.ISet.html">Main.Type.ISet</a>]</td>
<td></td></tr>
<tr><td><a href="UMap.html#VALfind">find</a> [<a href="UMap.html">UMap</a>]</td>
<td></td></tr>
<tr><td><a href="IMap.html#VALfind">find</a> [<a href="IMap.html">IMap</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UMap.html#VALfind">find</a> [<a href="Main.Type.UMap.html">Main.Type.UMap</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.IMap.html#VALfind">find</a> [<a href="Main.Type.IMap.html">Main.Type.IMap</a>]</td>
<td></td></tr>
<tr><td><a href="XString.html#VALfirst">first</a> [<a href="XString.html">XString</a>]</td>
<td></td></tr>
<tr><td><a href="XArray.html#VALfirst">first</a> [<a href="XArray.html">XArray</a>]</td>
<td></td></tr>
<tr><td><a href="UnicodeString.Type.html#VALfirst">first</a> [<a href="UnicodeString.Type.html">UnicodeString.Type</a>]</td>
<td><div class="info">
The location of the first character in the storage.
</div>
</td></tr>
<tr><td><a href="UText.html#VALfirst">first</a> [<a href="UText.html">UText</a>]</td>
<td></td></tr>
<tr><td><a href="UTF8.html#VALfirst">first</a> [<a href="UTF8.html">UTF8</a>]</td>
<td><div class="info">
The position of the head of the first Unicode character.
</div>
</td></tr>
<tr><td><a href="UTF16.html#VALfirst">first</a> [<a href="UTF16.html">UTF16</a>]</td>
<td><div class="info">
<code class="code">first s</code> : The position of the head of the last Unicode character.
</div>
</td></tr>
<tr><td><a href="UCS4.html#VALfirst">first</a> [<a href="UCS4.html">UCS4</a>]</td>
<td><div class="info">
<code class="code">first s</code> : The position of the head of the last Unicode character.
</div>
</td></tr>
<tr><td><a href="SubText.Type.html#VALfirst">first</a> [<a href="SubText.Type.html">SubText.Type</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UCS4.html#VALfirst">first</a> [<a href="Main.Type.UCS4.html">Main.Type.UCS4</a>]</td>
<td><div class="info">
<code class="code">last s</code> : The position of the head of the last Unicode character.
</div>
</td></tr>
<tr><td><a href="Main.Type.UTF16.html#VALfirst">first</a> [<a href="Main.Type.UTF16.html">Main.Type.UTF16</a>]</td>
<td><div class="info">
<code class="code">last s</code> : The position of the head of the last Unicode character.
</div>
</td></tr>
<tr><td><a href="Main.Type.UTF8.html#VALfirst">first</a> [<a href="Main.Type.UTF8.html">Main.Type.UTF8</a>]</td>
<td><div class="info">
The position of the head of the last Unicode character.
</div>
</td></tr>
<tr><td><a href="Main.Type.SubText.Type.html#VALfirst">first</a> [<a href="Main.Type.SubText.Type.html">Main.Type.SubText.Type</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.XString.html#VALfirst">first</a> [<a href="Main.Type.XString.html">Main.Type.XString</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UText.html#VALfirst">first</a> [<a href="Main.Type.UText.html">Main.Type.UText</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UnicodeString.Type.html#VALfirst">first</a> [<a href="Main.Type.UnicodeString.Type.html">Main.Type.UnicodeString.Type</a>]</td>
<td><div class="info">
The location of the last character in the storage.
</div>
</td></tr>
<tr><td><a href="Main.Type.XArray.html#VALfirst">first</a> [<a href="Main.Type.XArray.html">Main.Type.XArray</a>]</td>
<td></td></tr>
<tr><td><a href="USet.html#VALfold">fold</a> [<a href="USet.html">USet</a>]</td>
<td></td></tr>
<tr><td><a href="UMap.html#VALfold">fold</a> [<a href="UMap.html">UMap</a>]</td>
<td></td></tr>
<tr><td><a href="ISet.html#VALfold">fold</a> [<a href="ISet.html">ISet</a>]</td>
<td></td></tr>
<tr><td><a href="IMap.html#VALfold">fold</a> [<a href="IMap.html">IMap</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UMap.html#VALfold">fold</a> [<a href="Main.Type.UMap.html">Main.Type.UMap</a>]</td>
<td><div class="info">
<code class="code">fold_range f m x</code> is equivalent to
<code class="code">f u_(2n) u_(2n+1) v_n (... (f u_1 u_2 v_1 x))</code> where all characters in
the range <code class="code">u_(2k)</code>-<code class="code">u_(2k+1)</code> are mapped to <code class="code">v_k</code> and
<code class="code">u_1</code> < <code class="code">u_3</code> < ...
</div>
</td></tr>
<tr><td><a href="Main.Type.USet.html#VALfold">fold</a> [<a href="Main.Type.USet.html">Main.Type.USet</a>]</td>
<td><div class="info">
<code class="code">fold_range f s x</code> is equivalent to
<code class="code">f u_i u_(i+1) (... (f u_3 u_4 (f u_1 u_2 x)))</code> if <code class="code">s</code> is consisted of
the intervals <code class="code">u1</code>-<code class="code">u2</code>, <code class="code">u3</code>-<code class="code">u4</code>, ..., <code class="code">u_i</code>-<code class="code">u_(i + 1)</code>
in increasing order.
</div>
</td></tr>
<tr><td><a href="Main.Type.IMap.html#VALfold">fold</a> [<a href="Main.Type.IMap.html">Main.Type.IMap</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.ISet.html#VALfold">fold</a> [<a href="Main.Type.ISet.html">Main.Type.ISet</a>]</td>
<td></td></tr>
<tr><td><a href="USet.html#VALfold_range">fold_range</a> [<a href="USet.html">USet</a>]</td>
<td><div class="info">
<code class="code">fold_range f s x</code> is equivalent to
<code class="code">f u_i u_(i+1) (... (f u_3 u_4 (f u_1 u_2 x)))</code> if <code class="code">s</code> is consisted of
the intervals <code class="code">u1</code>-<code class="code">u2</code>, <code class="code">u3</code>-<code class="code">u4</code>, ..., <code class="code">u_i</code>-<code class="code">u_(i + 1)</code>
in increasing order.
</div>
</td></tr>
<tr><td><a href="UMap.html#VALfold_range">fold_range</a> [<a href="UMap.html">UMap</a>]</td>
<td><div class="info">
<code class="code">fold_range f m x</code> is equivalent to
<code class="code">f u_(2n) u_(2n+1) v_n (... (f u_1 u_2 v_1 x))</code> where all characters in
the range <code class="code">u_(2k)</code>-<code class="code">u_(2k+1)</code> are mapped to <code class="code">v_k</code> and
<code class="code">u_1</code> < <code class="code">u_3</code> < ...
</div>
</td></tr>
<tr><td><a href="ISet.html#VALfold_range">fold_range</a> [<a href="ISet.html">ISet</a>]</td>
<td></td></tr>
<tr><td><a href="IMap.html#VALfold_range">fold_range</a> [<a href="IMap.html">IMap</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UMap.html#VALfold_range">fold_range</a> [<a href="Main.Type.UMap.html">Main.Type.UMap</a>]</td>
<td><div class="info">
Constant map.
</div>
</td></tr>
<tr><td><a href="Main.Type.USet.html#VALfold_range">fold_range</a> [<a href="Main.Type.USet.html">Main.Type.USet</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.IMap.html#VALfold_range">fold_range</a> [<a href="Main.Type.IMap.html">Main.Type.IMap</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.ISet.html#VALfold_range">fold_range</a> [<a href="Main.Type.ISet.html">Main.Type.ISet</a>]</td>
<td></td></tr>
<tr><td><a href="USet.html#VALfor_all">for_all</a> [<a href="USet.html">USet</a>]</td>
<td></td></tr>
<tr><td><a href="ISet.html#VALfor_all">for_all</a> [<a href="ISet.html">ISet</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.USet.html#VALfor_all">for_all</a> [<a href="Main.Type.USet.html">Main.Type.USet</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.ISet.html#VALfor_all">for_all</a> [<a href="Main.Type.ISet.html">Main.Type.ISet</a>]</td>
<td></td></tr>
<tr><td><a href="USet.html#VALfrom">from</a> [<a href="USet.html">USet</a>]</td>
<td><div class="info">
<code class="code">from u s</code> returns the set of elements of <code class="code">s</code>
whose code points are equal or greater than <code class="code">u</code>.
</div>
</td></tr>
<tr><td><a href="UMap.html#VALfrom">from</a> [<a href="UMap.html">UMap</a>]</td>
<td><div class="info">
<code class="code">from u m</code> restricts the domain of <code class="code">m</code> to the characters whose
code points are equal or greater than <code class="code">u</code>.
</div>
</td></tr>
<tr><td><a href="ISet.html#VALfrom">from</a> [<a href="ISet.html">ISet</a>]</td>
<td></td></tr>
<tr><td><a href="IMap.html#VALfrom">from</a> [<a href="IMap.html">IMap</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UMap.html#VALfrom">from</a> [<a href="Main.Type.UMap.html">Main.Type.UMap</a>]</td>
<td><div class="info">
<code class="code">after u m</code> restricts the domain of <code class="code">m</code> to the characters whose
code points are greater than <code class="code">u</code>.
</div>
</td></tr>
<tr><td><a href="Main.Type.USet.html#VALfrom">from</a> [<a href="Main.Type.USet.html">Main.Type.USet</a>]</td>
<td><div class="info">
<code class="code">after u s</code> returns the set of elements of <code class="code">s</code>
whose code points are greater than <code class="code">u</code>.
</div>
</td></tr>
<tr><td><a href="Main.Type.IMap.html#VALfrom">from</a> [<a href="Main.Type.IMap.html">Main.Type.IMap</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.ISet.html#VALfrom">from</a> [<a href="Main.Type.ISet.html">Main.Type.ISet</a>]</td>
<td></td></tr>
<tr><td align="left"><br>G</td></tr>
<tr><td><a href="UCharInfo.Type.html#VALgeneral_category">general_category</a> [<a href="UCharInfo.Type.html">UCharInfo.Type</a>]</td>
<td></td></tr>
<tr><td><a href="XString.html#VALget">get</a> [<a href="XString.html">XString</a>]</td>
<td></td></tr>
<tr><td><a href="XArray.html#VALget">get</a> [<a href="XArray.html">XArray</a>]</td>
<td></td></tr>
<tr><td><a href="UnicodeString.Type.html#VALget">get</a> [<a href="UnicodeString.Type.html">UnicodeString.Type</a>]</td>
<td><div class="info">
<code class="code">get t i</code> : <code class="code">i</code>-th character of the storage.
</div>
</td></tr>
<tr><td><a href="UText.html#VALget">get</a> [<a href="UText.html">UText</a>]</td>
<td></td></tr>
<tr><td><a href="UTF8.html#VALget">get</a> [<a href="UTF8.html">UTF8</a>]</td>
<td><div class="info">
<code class="code">get s n</code> returns <code class="code">n</code>-th Unicode character of <code class="code">s</code>.
</div>
</td></tr>
<tr><td><a href="UTF16.html#VALget">get</a> [<a href="UTF16.html">UTF16</a>]</td>
<td><div class="info">
<code class="code">get s n</code> returns <code class="code">n</code>-th Unicode character of <code class="code">s</code>.
</div>
</td></tr>
<tr><td><a href="UCharTbl.Char.html#VALget">get</a> [<a href="UCharTbl.Char.html">UCharTbl.Char</a>]</td>
<td></td></tr>
<tr><td><a href="UCharTbl.Bytes.html#VALget">get</a> [<a href="UCharTbl.Bytes.html">UCharTbl.Bytes</a>]</td>
<td></td></tr>
<tr><td><a href="UCharTbl.Bits.html#VALget">get</a> [<a href="UCharTbl.Bits.html">UCharTbl.Bits</a>]</td>
<td></td></tr>
<tr><td><a href="UCharTbl.Bool.html#VALget">get</a> [<a href="UCharTbl.Bool.html">UCharTbl.Bool</a>]</td>
<td></td></tr>
<tr><td><a href="UCharTbl.Type.html#VALget">get</a> [<a href="UCharTbl.Type.html">UCharTbl.Type</a>]</td>
<td></td></tr>
<tr><td><a href="UCharTbl.html#VALget">get</a> [<a href="UCharTbl.html">UCharTbl</a>]</td>
<td></td></tr>
<tr><td><a href="UCS4.html#VALget">get</a> [<a href="UCS4.html">UCS4</a>]</td>
<td><div class="info">
<code class="code">get s n</code> returns <code class="code">n</code>-th Unicode character of <code class="code">s</code>.
</div>
</td></tr>
<tr><td><a href="SubText.Type.html#VALget">get</a> [<a href="SubText.Type.html">SubText.Type</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UCS4.html#VALget">get</a> [<a href="Main.Type.UCS4.html">Main.Type.UCS4</a>]</td>
<td><div class="info">
<code class="code">get s n</code> returns <code class="code">n</code>-th Unicode character of <code class="code">s</code>.
</div>
</td></tr>
<tr><td><a href="Main.Type.UTF16.html#VALget">get</a> [<a href="Main.Type.UTF16.html">Main.Type.UTF16</a>]</td>
<td><div class="info">
<code class="code">get s n</code> returns <code class="code">n</code>-th Unicode character of <code class="code">s</code>.
</div>
</td></tr>
<tr><td><a href="Main.Type.UTF8.html#VALget">get</a> [<a href="Main.Type.UTF8.html">Main.Type.UTF8</a>]</td>
<td><div class="info">
<code class="code">get s n</code> returns <code class="code">n</code>-th Unicode character of <code class="code">s</code>.
</div>
</td></tr>
<tr><td><a href="Main.Type.SubText.Type.html#VALget">get</a> [<a href="Main.Type.SubText.Type.html">Main.Type.SubText.Type</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.XString.html#VALget">get</a> [<a href="Main.Type.XString.html">Main.Type.XString</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UText.html#VALget">get</a> [<a href="Main.Type.UText.html">Main.Type.UText</a>]</td>
<td><div class="info">
<code class="code">set s i u</code> sets the <code class="code">i</code>-th character in <code class="code">s</code> to <code class="code">u</code>.
</div>
</td></tr>
<tr><td><a href="Main.Type.UnicodeString.Type.html#VALget">get</a> [<a href="Main.Type.UnicodeString.Type.html">Main.Type.UnicodeString.Type</a>]</td>
<td><div class="info">
<code class="code">init len f</code> creates a new storage.
</div>
</td></tr>
<tr><td><a href="Main.Type.UCharTbl.Char.html#VALget">get</a> [<a href="Main.Type.UCharTbl.Char.html">Main.Type.UCharTbl.Char</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UCharTbl.Bytes.html#VALget">get</a> [<a href="Main.Type.UCharTbl.Bytes.html">Main.Type.UCharTbl.Bytes</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UCharTbl.Bits.html#VALget">get</a> [<a href="Main.Type.UCharTbl.Bits.html">Main.Type.UCharTbl.Bits</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UCharTbl.Bool.html#VALget">get</a> [<a href="Main.Type.UCharTbl.Bool.html">Main.Type.UCharTbl.Bool</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UCharTbl.Type.html#VALget">get</a> [<a href="Main.Type.UCharTbl.Type.html">Main.Type.UCharTbl.Type</a>]</td>
<td><div class="info">
<code class="code">of_map def m</code> creates the table which has the same value to <code class="code">m</code>.
</div>
</td></tr>
<tr><td><a href="Main.Type.UCharTbl.html#VALget">get</a> [<a href="Main.Type.UCharTbl.html">Main.Type.UCharTbl</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.XArray.html#VALget">get</a> [<a href="Main.Type.XArray.html">Main.Type.XArray</a>]</td>
<td></td></tr>
<tr><td align="left"><br>I</td></tr>
<tr><td><a href="UMap.html#VALimap_of_umap">imap_of_umap</a> [<a href="UMap.html">UMap</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UMap.html#VALimap_of_umap">imap_of_umap</a> [<a href="Main.Type.UMap.html">Main.Type.UMap</a>]</td>
<td></td></tr>
<tr><td><a href="XString.html#VALinit">init</a> [<a href="XString.html">XString</a>]</td>
<td></td></tr>
<tr><td><a href="XArray.html#VALinit">init</a> [<a href="XArray.html">XArray</a>]</td>
<td></td></tr>
<tr><td><a href="UnicodeString.Type.html#VALinit">init</a> [<a href="UnicodeString.Type.html">UnicodeString.Type</a>]</td>
<td><div class="info">
<code class="code">init len f</code> creates a new storage.
</div>
</td></tr>
<tr><td><a href="UText.html#VALinit">init</a> [<a href="UText.html">UText</a>]</td>
<td></td></tr>
<tr><td><a href="UTF8.html#VALinit">init</a> [<a href="UTF8.html">UTF8</a>]</td>
<td><div class="info">
<code class="code">init len f</code>
returns a new string which contains <code class="code">len</code> Unicode characters.
</div>
</td></tr>
<tr><td><a href="UTF16.html#VALinit">init</a> [<a href="UTF16.html">UTF16</a>]</td>
<td><div class="info">
<code class="code">init len f</code>
returns a new string which contains <code class="code">len</code> Unicode characters.
</div>
</td></tr>
<tr><td><a href="UCS4.html#VALinit">init</a> [<a href="UCS4.html">UCS4</a>]</td>
<td><div class="info">
<code class="code">init len f</code>
returns a new string which contains <code class="code">len</code> Unicode characters.
</div>
</td></tr>
<tr><td><a href="SubText.Type.html#VALinit">init</a> [<a href="SubText.Type.html">SubText.Type</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UCS4.html#VALinit">init</a> [<a href="Main.Type.UCS4.html">Main.Type.UCS4</a>]</td>
<td><div class="info">
<code class="code">length s</code> returns the number of Unicode characters contained in <code class="code">s</code>
</div>
</td></tr>
<tr><td><a href="Main.Type.UTF16.html#VALinit">init</a> [<a href="Main.Type.UTF16.html">Main.Type.UTF16</a>]</td>
<td><div class="info">
<code class="code">length s</code> returns the number of Unicode characters contained in s
</div>
</td></tr>
<tr><td><a href="Main.Type.UTF8.html#VALinit">init</a> [<a href="Main.Type.UTF8.html">Main.Type.UTF8</a>]</td>
<td><div class="info">
<code class="code">length s</code> returns the number of Unicode characters contained in s
</div>
</td></tr>
<tr><td><a href="Main.Type.SubText.Type.html#VALinit">init</a> [<a href="Main.Type.SubText.Type.html">Main.Type.SubText.Type</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.XString.html#VALinit">init</a> [<a href="Main.Type.XString.html">Main.Type.XString</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UText.html#VALinit">init</a> [<a href="Main.Type.UText.html">Main.Type.UText</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UnicodeString.Type.html#VALinit">init</a> [<a href="Main.Type.UnicodeString.Type.html">Main.Type.UnicodeString.Type</a>]</td>
<td><div class="info">
The number of Unicode characters in the storage
</div>
</td></tr>
<tr><td><a href="Main.Type.XArray.html#VALinit">init</a> [<a href="Main.Type.XArray.html">Main.Type.XArray</a>]</td>
<td></td></tr>
<tr><td><a href="UText.html#VALinit_ustring">init_ustring</a> [<a href="UText.html">UText</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UText.html#VALinit_ustring">init_ustring</a> [<a href="Main.Type.UText.html">Main.Type.UText</a>]</td>
<td><div class="info">
The semantics of these function are similar to
the equivalents of string.
</div>
</td></tr>
<tr><td><a href="UChar.html#VALint_of">int_of</a> [<a href="UChar.html">UChar</a>]</td>
<td><div class="info">
Alias of <code class="code">uint_code</code>
</div>
</td></tr>
<tr><td><a href="Main.Type.UChar.html#VALint_of">int_of</a> [<a href="Main.Type.UChar.html">Main.Type.UChar</a>]</td>
<td><div class="info">
Alias of <code class="code">chr_of_uint</code>
</div>
</td></tr>
<tr><td><a href="UPervasives.html#VALint_of_uchar">int_of_uchar</a> [<a href="UPervasives.html">UPervasives</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UPervasives.html#VALint_of_uchar">int_of_uchar</a> [<a href="Main.Type.UPervasives.html">Main.Type.UPervasives</a>]</td>
<td></td></tr>
<tr><td><a href="USet.html#VALinter">inter</a> [<a href="USet.html">USet</a>]</td>
<td></td></tr>
<tr><td><a href="ISet.html#VALinter">inter</a> [<a href="ISet.html">ISet</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.USet.html#VALinter">inter</a> [<a href="Main.Type.USet.html">Main.Type.USet</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.ISet.html#VALinter">inter</a> [<a href="Main.Type.ISet.html">Main.Type.ISet</a>]</td>
<td></td></tr>
<tr><td><a href="USet.html#VALis_empty">is_empty</a> [<a href="USet.html">USet</a>]</td>
<td></td></tr>
<tr><td><a href="UMap.html#VALis_empty">is_empty</a> [<a href="UMap.html">UMap</a>]</td>
<td></td></tr>
<tr><td><a href="ISet.html#VALis_empty">is_empty</a> [<a href="ISet.html">ISet</a>]</td>
<td></td></tr>
<tr><td><a href="IMap.html#VALis_empty">is_empty</a> [<a href="IMap.html">IMap</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UMap.html#VALis_empty">is_empty</a> [<a href="Main.Type.UMap.html">Main.Type.UMap</a>]</td>
<td><div class="info">
<code class="code">add ?eq u v m</code> returns the new map which is same to <code class="code">m</code>
except it maps <code class="code">u</code> to some value <code class="code">v'</code> which satisfies <code class="code">eq v v'</code>.
</div>
</td></tr>
<tr><td><a href="Main.Type.USet.html#VALis_empty">is_empty</a> [<a href="Main.Type.USet.html">Main.Type.USet</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.IMap.html#VALis_empty">is_empty</a> [<a href="Main.Type.IMap.html">Main.Type.IMap</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.ISet.html#VALis_empty">is_empty</a> [<a href="Main.Type.ISet.html">Main.Type.ISet</a>]</td>
<td></td></tr>
<tr><td><a href="USet.html#VALiset_of_uset">iset_of_uset</a> [<a href="USet.html">USet</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.USet.html#VALiset_of_uset">iset_of_uset</a> [<a href="Main.Type.USet.html">Main.Type.USet</a>]</td>
<td></td></tr>
<tr><td><a href="XString.html#VALiter">iter</a> [<a href="XString.html">XString</a>]</td>
<td></td></tr>
<tr><td><a href="XArray.html#VALiter">iter</a> [<a href="XArray.html">XArray</a>]</td>
<td></td></tr>
<tr><td><a href="UnicodeString.Type.html#VALiter">iter</a> [<a href="UnicodeString.Type.html">UnicodeString.Type</a>]</td>
<td></td></tr>
<tr><td><a href="UText.html#VALiter">iter</a> [<a href="UText.html">UText</a>]</td>
<td></td></tr>
<tr><td><a href="UTF8.html#VALiter">iter</a> [<a href="UTF8.html">UTF8</a>]</td>
<td><div class="info">
<code class="code">iter f s</code>
applies <code class="code">f</code> to all Unicode characters in <code class="code">s</code>.
</div>
</td></tr>
<tr><td><a href="UTF16.html#VALiter">iter</a> [<a href="UTF16.html">UTF16</a>]</td>
<td><div class="info">
<code class="code">iter f s</code>
Apply <code class="code">f</code> to all Unicode characters in <code class="code">s</code>.
</div>
</td></tr>
<tr><td><a href="USet.html#VALiter">iter</a> [<a href="USet.html">USet</a>]</td>
<td></td></tr>
<tr><td><a href="UMap.html#VALiter">iter</a> [<a href="UMap.html">UMap</a>]</td>
<td></td></tr>
<tr><td><a href="UCS4.html#VALiter">iter</a> [<a href="UCS4.html">UCS4</a>]</td>
<td><div class="info">
<code class="code">iter f s</code> :
Apply <code class="code">f</code> to all Unicode characters in <code class="code">s</code>.
</div>
</td></tr>
<tr><td><a href="ISet.html#VALiter">iter</a> [<a href="ISet.html">ISet</a>]</td>
<td></td></tr>
<tr><td><a href="IMap.html#VALiter">iter</a> [<a href="IMap.html">IMap</a>]</td>
<td></td></tr>
<tr><td><a href="SubText.Type.html#VALiter">iter</a> [<a href="SubText.Type.html">SubText.Type</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UCS4.html#VALiter">iter</a> [<a href="Main.Type.UCS4.html">Main.Type.UCS4</a>]</td>
<td><div class="info">
Code point comparison
</div>
</td></tr>
<tr><td><a href="Main.Type.UTF16.html#VALiter">iter</a> [<a href="Main.Type.UTF16.html">Main.Type.UTF16</a>]</td>
<td><div class="info">
Code point comparison
</div>
</td></tr>
<tr><td><a href="Main.Type.UTF8.html#VALiter">iter</a> [<a href="Main.Type.UTF8.html">Main.Type.UTF8</a>]</td>
<td><div class="info">
Code point comparison by the lexicographic order.
</div>
</td></tr>
<tr><td><a href="Main.Type.SubText.Type.html#VALiter">iter</a> [<a href="Main.Type.SubText.Type.html">Main.Type.SubText.Type</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.XString.html#VALiter">iter</a> [<a href="Main.Type.XString.html">Main.Type.XString</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UText.html#VALiter">iter</a> [<a href="Main.Type.UText.html">Main.Type.UText</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UnicodeString.Type.html#VALiter">iter</a> [<a href="Main.Type.UnicodeString.Type.html">Main.Type.UnicodeString.Type</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UMap.html#VALiter">iter</a> [<a href="Main.Type.UMap.html">Main.Type.UMap</a>]</td>
<td><div class="info">
<code class="code">iter proc m</code> : For each contingent region <code class="code">u1</code>-<code class="code">u2</code>
that is mapped to a constant <code class="code">v</code>, <code class="code">proc u1 u2 v</code> is called.
</div>
</td></tr>
<tr><td><a href="Main.Type.USet.html#VALiter">iter</a> [<a href="Main.Type.USet.html">Main.Type.USet</a>]</td>
<td><div class="info">
<code class="code">iter_range proc s</code> feeds the intervals contained in <code class="code">s</code> to
<code class="code">proc</code> in increasing order.
</div>
</td></tr>
<tr><td><a href="Main.Type.XArray.html#VALiter">iter</a> [<a href="Main.Type.XArray.html">Main.Type.XArray</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.IMap.html#VALiter">iter</a> [<a href="Main.Type.IMap.html">Main.Type.IMap</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.ISet.html#VALiter">iter</a> [<a href="Main.Type.ISet.html">Main.Type.ISet</a>]</td>
<td></td></tr>
<tr><td><a href="USet.html#VALiter_range">iter_range</a> [<a href="USet.html">USet</a>]</td>
<td><div class="info">
<code class="code">iter_range proc s</code> feeds the intervals contained in <code class="code">s</code> to
<code class="code">proc</code> in increasing order.
</div>
</td></tr>
<tr><td><a href="UMap.html#VALiter_range">iter_range</a> [<a href="UMap.html">UMap</a>]</td>
<td><div class="info">
<code class="code">iter proc m</code> : For each contingent region <code class="code">u1</code>-<code class="code">u2</code>
that is mapped to a constant <code class="code">v</code>, <code class="code">proc u1 u2 v</code> is called.
</div>
</td></tr>
<tr><td><a href="ISet.html#VALiter_range">iter_range</a> [<a href="ISet.html">ISet</a>]</td>
<td></td></tr>
<tr><td><a href="IMap.html#VALiter_range">iter_range</a> [<a href="IMap.html">IMap</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UMap.html#VALiter_range">iter_range</a> [<a href="Main.Type.UMap.html">Main.Type.UMap</a>]</td>
<td><div class="info">
<code class="code">map ?eq f m</code> and <code class="code">mapi ?eq f m</code> : Similar to <code class="code">map</code> and <code class="code">mapi</code>
in stdlib Map, but if the map <code class="code">m'</code> is returned, it is only guaranteed
that <code class="code">eq (find u m') (f (find u m ))</code> is true for <code class="code">map</code> and
<code class="code">eq (find u m') (f u (find u m ))</code> is true for <code class="code">mapi</code>.
</div>
</td></tr>
<tr><td><a href="Main.Type.USet.html#VALiter_range">iter_range</a> [<a href="Main.Type.USet.html">Main.Type.USet</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.IMap.html#VALiter_range">iter_range</a> [<a href="Main.Type.IMap.html">Main.Type.IMap</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.ISet.html#VALiter_range">iter_range</a> [<a href="Main.Type.ISet.html">Main.Type.ISet</a>]</td>
<td></td></tr>
<tr><td align="left"><br>L</td></tr>
<tr><td><a href="XString.html#VALlast">last</a> [<a href="XString.html">XString</a>]</td>
<td></td></tr>
<tr><td><a href="XArray.html#VALlast">last</a> [<a href="XArray.html">XArray</a>]</td>
<td></td></tr>
<tr><td><a href="UnicodeString.Type.html#VALlast">last</a> [<a href="UnicodeString.Type.html">UnicodeString.Type</a>]</td>
<td><div class="info">
The location of the last character in the storage.
</div>
</td></tr>
<tr><td><a href="UText.html#VALlast">last</a> [<a href="UText.html">UText</a>]</td>
<td></td></tr>
<tr><td><a href="UTF8.html#VALlast">last</a> [<a href="UTF8.html">UTF8</a>]</td>
<td><div class="info">
The position of the head of the last Unicode character.
</div>
</td></tr>
<tr><td><a href="UTF16.html#VALlast">last</a> [<a href="UTF16.html">UTF16</a>]</td>
<td><div class="info">
<code class="code">last s</code> : The position of the head of the last Unicode character.
</div>
</td></tr>
<tr><td><a href="UCS4.html#VALlast">last</a> [<a href="UCS4.html">UCS4</a>]</td>
<td><div class="info">
<code class="code">last s</code> : The position of the head of the last Unicode character.
</div>
</td></tr>
<tr><td><a href="SubText.Type.html#VALlast">last</a> [<a href="SubText.Type.html">SubText.Type</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UCS4.html#VALlast">last</a> [<a href="Main.Type.UCS4.html">Main.Type.UCS4</a>]</td>
<td><div class="info">
<code class="code">look s i</code>
returns the Unicode character of the location <code class="code">i</code> in the string <code class="code">s</code>.
</div>
</td></tr>
<tr><td><a href="Main.Type.UTF16.html#VALlast">last</a> [<a href="Main.Type.UTF16.html">Main.Type.UTF16</a>]</td>
<td><div class="info">
<code class="code">look s i </code>
returns the Unicode character of the location <code class="code">i</code> in the string <code class="code">s</code>.
</div>
</td></tr>
<tr><td><a href="Main.Type.UTF8.html#VALlast">last</a> [<a href="Main.Type.UTF8.html">Main.Type.UTF8</a>]</td>
<td><div class="info">
<code class="code">look s i</code>
returns the Unicode character of the location <code class="code">i</code> in the string <code class="code">s</code>.
</div>
</td></tr>
<tr><td><a href="Main.Type.SubText.Type.html#VALlast">last</a> [<a href="Main.Type.SubText.Type.html">Main.Type.SubText.Type</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.XString.html#VALlast">last</a> [<a href="Main.Type.XString.html">Main.Type.XString</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UText.html#VALlast">last</a> [<a href="Main.Type.UText.html">Main.Type.UText</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UnicodeString.Type.html#VALlast">last</a> [<a href="Main.Type.UnicodeString.Type.html">Main.Type.UnicodeString.Type</a>]</td>
<td><div class="info">
<code class="code">move t i n</code> :
if <code class="code">n</code> >= 0, then returns <code class="code">n</code>-th character after <code class="code">i</code> and
otherwise returns -<code class="code">n</code>-th character before <code class="code">i</code>.
</div>
</td></tr>
<tr><td><a href="Main.Type.XArray.html#VALlast">last</a> [<a href="Main.Type.XArray.html">Main.Type.XArray</a>]</td>
<td></td></tr>
<tr><td><a href="CharEncoding.Interface.html#VALlatin1">latin1</a> [<a href="CharEncoding.Interface.html">CharEncoding.Interface</a>]</td>
<td></td></tr>
<tr><td><a href="XString.Buf.html#VALlength">length</a> [<a href="XString.Buf.html">XString.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="XString.html#VALlength">length</a> [<a href="XString.html">XString</a>]</td>
<td></td></tr>
<tr><td><a href="XArray.html#VALlength">length</a> [<a href="XArray.html">XArray</a>]</td>
<td></td></tr>
<tr><td><a href="UnicodeString.Type.html#VALlength">length</a> [<a href="UnicodeString.Type.html">UnicodeString.Type</a>]</td>
<td><div class="info">
The number of Unicode characters in the storage
</div>
</td></tr>
<tr><td><a href="UText.Buf.html#VALlength">length</a> [<a href="UText.Buf.html">UText.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="UText.html#VALlength">length</a> [<a href="UText.html">UText</a>]</td>
<td></td></tr>
<tr><td><a href="UTF8.html#VALlength">length</a> [<a href="UTF8.html">UTF8</a>]</td>
<td><div class="info">
<code class="code">length s</code> returns the number of Unicode characters contained in s
</div>
</td></tr>
<tr><td><a href="UTF16.html#VALlength">length</a> [<a href="UTF16.html">UTF16</a>]</td>
<td><div class="info">
<code class="code">length s</code> returns the number of Unicode characters contained in s
</div>
</td></tr>
<tr><td><a href="UCS4.html#VALlength">length</a> [<a href="UCS4.html">UCS4</a>]</td>
<td><div class="info">
<code class="code">length s</code> returns the number of Unicode characters contained in <code class="code">s</code>
</div>
</td></tr>
<tr><td><a href="SubText.Type.html#VALlength">length</a> [<a href="SubText.Type.html">SubText.Type</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UCS4.html#VALlength">length</a> [<a href="Main.Type.UCS4.html">Main.Type.UCS4</a>]</td>
<td><div class="info">
Positions in the string represented by the number of characters
from the head.
</div>
</td></tr>
<tr><td><a href="Main.Type.UTF16.html#VALlength">length</a> [<a href="Main.Type.UTF16.html">Main.Type.UTF16</a>]</td>
<td><div class="info">
Positions in the string represented by the number of 16-bit unit
from the head.
</div>
</td></tr>
<tr><td><a href="Main.Type.UTF8.html#VALlength">length</a> [<a href="Main.Type.UTF8.html">Main.Type.UTF8</a>]</td>
<td><div class="info">
Positions in the string represented by the number of bytes from the head.
</div>
</td></tr>
<tr><td><a href="Main.Type.SubText.Type.html#VALlength">length</a> [<a href="Main.Type.SubText.Type.html">Main.Type.SubText.Type</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.XString.Buf.html#VALlength">length</a> [<a href="Main.Type.XString.Buf.html">Main.Type.XString.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.XString.html#VALlength">length</a> [<a href="Main.Type.XString.html">Main.Type.XString</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UText.Buf.html#VALlength">length</a> [<a href="Main.Type.UText.Buf.html">Main.Type.UText.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UText.html#VALlength">length</a> [<a href="Main.Type.UText.html">Main.Type.UText</a>]</td>
<td><div class="info">
Conversion from Latin-1 strings.
</div>
</td></tr>
<tr><td><a href="Main.Type.UnicodeString.Type.html#VALlength">length</a> [<a href="Main.Type.UnicodeString.Type.html">Main.Type.UnicodeString.Type</a>]</td>
<td><div class="info">
locations in storages.
</div>
</td></tr>
<tr><td><a href="Main.Type.XArray.html#VALlength">length</a> [<a href="Main.Type.XArray.html">Main.Type.XArray</a>]</td>
<td></td></tr>
<tr><td><a href="UCharInfo.Type.html#VALload_casefolding_tbl">load_casefolding_tbl</a> [<a href="UCharInfo.Type.html">UCharInfo.Type</a>]</td>
<td></td></tr>
<tr><td><a href="UCharInfo.Type.html#VALload_composition_exclusion_tbl">load_composition_exclusion_tbl</a> [<a href="UCharInfo.Type.html">UCharInfo.Type</a>]</td>
<td><div class="info">
Whether the given composed character is used in NFC or NFKC
</div>
</td></tr>
<tr><td><a href="UCharInfo.Type.html#VALload_composition_tbl">load_composition_tbl</a> [<a href="UCharInfo.Type.html">UCharInfo.Type</a>]</td>
<td><div class="info">
The return value <code class="code">[(u_1, u'_1); ... (u_n, u'_1)]</code> means
for the given character <code class="code">u</code>, <code class="code">u u_i</code> forms
the canonical composition <code class="code">u'_i</code>.
</div>
</td></tr>
<tr><td><a href="UCharInfo.Type.html#VALload_conditional_casing_tbl">load_conditional_casing_tbl</a> [<a href="UCharInfo.Type.html">UCharInfo.Type</a>]</td>
<td></td></tr>
<tr><td><a href="UCharInfo.Type.html#VALload_decomposition_tbl">load_decomposition_tbl</a> [<a href="UCharInfo.Type.html">UCharInfo.Type</a>]</td>
<td></td></tr>
<tr><td><a href="UCharInfo.Type.html#VALload_general_category_map">load_general_category_map</a> [<a href="UCharInfo.Type.html">UCharInfo.Type</a>]</td>
<td></td></tr>
<tr><td><a href="UCharInfo.Type.html#VALload_property_set">load_property_set</a> [<a href="UCharInfo.Type.html">UCharInfo.Type</a>]</td>
<td><div class="info">
Load the set of characters of the given character type.
</div>
</td></tr>
<tr><td><a href="UCharInfo.Type.html#VALload_property_set_by_name">load_property_set_by_name</a> [<a href="UCharInfo.Type.html">UCharInfo.Type</a>]</td>
<td><div class="info">
Load the set of characters of the given name of the character type.
</div>
</td></tr>
<tr><td><a href="UCharInfo.Type.html#VALload_property_tbl">load_property_tbl</a> [<a href="UCharInfo.Type.html">UCharInfo.Type</a>]</td>
<td><div class="info">
Load the table for the given character type.
</div>
</td></tr>
<tr><td><a href="UCharInfo.Type.html#VALload_property_tbl_by_name">load_property_tbl_by_name</a> [<a href="UCharInfo.Type.html">UCharInfo.Type</a>]</td>
<td><div class="info">
Load the table for the given name of the character type.
</div>
</td></tr>
<tr><td><a href="UCharInfo.Type.html#VALload_script_map">load_script_map</a> [<a href="UCharInfo.Type.html">UCharInfo.Type</a>]</td>
<td></td></tr>
<tr><td><a href="UCharInfo.Type.html#VALload_to_lower1_tbl">load_to_lower1_tbl</a> [<a href="UCharInfo.Type.html">UCharInfo.Type</a>]</td>
<td></td></tr>
<tr><td><a href="UCharInfo.Type.html#VALload_to_title1_tbl">load_to_title1_tbl</a> [<a href="UCharInfo.Type.html">UCharInfo.Type</a>]</td>
<td></td></tr>
<tr><td><a href="UCharInfo.Type.html#VALload_to_upper1_tbl">load_to_upper1_tbl</a> [<a href="UCharInfo.Type.html">UCharInfo.Type</a>]</td>
<td></td></tr>
<tr><td><a href="XString.html#VALlook">look</a> [<a href="XString.html">XString</a>]</td>
<td></td></tr>
<tr><td><a href="XArray.html#VALlook">look</a> [<a href="XArray.html">XArray</a>]</td>
<td></td></tr>
<tr><td><a href="UnicodeString.Type.html#VALlook">look</a> [<a href="UnicodeString.Type.html">UnicodeString.Type</a>]</td>
<td><div class="info">
<code class="code">look t i</code> : The character in the location <code class="code">i</code> of <code class="code">t</code>.
</div>
</td></tr>
<tr><td><a href="UText.html#VALlook">look</a> [<a href="UText.html">UText</a>]</td>
<td></td></tr>
<tr><td><a href="UTF8.html#VALlook">look</a> [<a href="UTF8.html">UTF8</a>]</td>
<td><div class="info">
<code class="code">look s i</code>
returns the Unicode character of the location <code class="code">i</code> in the string <code class="code">s</code>.
</div>
</td></tr>
<tr><td><a href="UTF16.html#VALlook">look</a> [<a href="UTF16.html">UTF16</a>]</td>
<td><div class="info">
<code class="code">look s i </code>
returns the Unicode character of the location <code class="code">i</code> in the string <code class="code">s</code>.
</div>
</td></tr>
<tr><td><a href="UCS4.html#VALlook">look</a> [<a href="UCS4.html">UCS4</a>]</td>
<td><div class="info">
<code class="code">look s i</code>
returns the Unicode character of the location <code class="code">i</code> in the string <code class="code">s</code>.
</div>
</td></tr>
<tr><td><a href="SubText.Type.html#VALlook">look</a> [<a href="SubText.Type.html">SubText.Type</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UCS4.html#VALlook">look</a> [<a href="Main.Type.UCS4.html">Main.Type.UCS4</a>]</td>
<td><div class="info">
<code class="code">out_of_range s i</code>
tests whether <code class="code">i</code> points the valid position of <code class="code">s</code>.
</div>
</td></tr>
<tr><td><a href="Main.Type.UTF16.html#VALlook">look</a> [<a href="Main.Type.UTF16.html">Main.Type.UTF16</a>]</td>
<td><div class="info">
<code class="code">out_of_range s i</code> tests whether <code class="code">i</code> is inside of <code class="code">s</code>.
</div>
</td></tr>
<tr><td><a href="Main.Type.UTF8.html#VALlook">look</a> [<a href="Main.Type.UTF8.html">Main.Type.UTF8</a>]</td>
<td><div class="info">
<code class="code">out_of_range s i</code>
tests whether <code class="code">i</code> is a position inside of <code class="code">s</code>.
</div>
</td></tr>
<tr><td><a href="Main.Type.SubText.Type.html#VALlook">look</a> [<a href="Main.Type.SubText.Type.html">Main.Type.SubText.Type</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.XString.html#VALlook">look</a> [<a href="Main.Type.XString.html">Main.Type.XString</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UText.html#VALlook">look</a> [<a href="Main.Type.UText.html">Main.Type.UText</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UnicodeString.Type.html#VALlook">look</a> [<a href="Main.Type.UnicodeString.Type.html">Main.Type.UnicodeString.Type</a>]</td>
<td><div class="info">
<code class="code">nth t n</code> : the location of the <code class="code">n</code>-th character in <code class="code">t</code>.
</div>
</td></tr>
<tr><td><a href="Main.Type.XArray.html#VALlook">look</a> [<a href="Main.Type.XArray.html">Main.Type.XArray</a>]</td>
<td></td></tr>
<tr><td><a href="CaseMap.Type.html#VALlowercase">lowercase</a> [<a href="CaseMap.Type.html">CaseMap.Type</a>]</td>
<td></td></tr>
<tr><td align="left"><br>M</td></tr>
<tr><td><a href="XString.html#VALmake">make</a> [<a href="XString.html">XString</a>]</td>
<td></td></tr>
<tr><td><a href="XArray.html#VALmake">make</a> [<a href="XArray.html">XArray</a>]</td>
<td></td></tr>
<tr><td><a href="UText.html#VALmake">make</a> [<a href="UText.html">UText</a>]</td>
<td><div class="info">
The semantics of these function are similar to
the equivalents of string.
</div>
</td></tr>
<tr><td><a href="Main.Type.XString.html#VALmake">make</a> [<a href="Main.Type.XString.html">Main.Type.XString</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UText.html#VALmake">make</a> [<a href="Main.Type.UText.html">Main.Type.UText</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.XArray.html#VALmake">make</a> [<a href="Main.Type.XArray.html">Main.Type.XArray</a>]</td>
<td></td></tr>
<tr><td><a href="UMap.html#VALmap">map</a> [<a href="UMap.html">UMap</a>]</td>
<td></td></tr>
<tr><td><a href="IMap.html#VALmap">map</a> [<a href="IMap.html">IMap</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UMap.html#VALmap">map</a> [<a href="Main.Type.UMap.html">Main.Type.UMap</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.IMap.html#VALmap">map</a> [<a href="Main.Type.IMap.html">Main.Type.IMap</a>]</td>
<td></td></tr>
<tr><td><a href="UMap.html#VALmap_to_set">map_to_set</a> [<a href="UMap.html">UMap</a>]</td>
<td><div class="info">
<code class="code">map_to_set p m</code> returns the set of characters which are mapped
to values satisfying the predicate <code class="code">p</code> by <code class="code">m</code>.
</div>
</td></tr>
<tr><td><a href="IMap.html#VALmap_to_set">map_to_set</a> [<a href="IMap.html">IMap</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UMap.html#VALmap_to_set">map_to_set</a> [<a href="Main.Type.UMap.html">Main.Type.UMap</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.IMap.html#VALmap_to_set">map_to_set</a> [<a href="Main.Type.IMap.html">Main.Type.IMap</a>]</td>
<td></td></tr>
<tr><td><a href="UMap.html#VALmapi">mapi</a> [<a href="UMap.html">UMap</a>]</td>
<td></td></tr>
<tr><td><a href="IMap.html#VALmapi">mapi</a> [<a href="IMap.html">IMap</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UMap.html#VALmapi">mapi</a> [<a href="Main.Type.UMap.html">Main.Type.UMap</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.IMap.html#VALmapi">mapi</a> [<a href="Main.Type.IMap.html">Main.Type.IMap</a>]</td>
<td></td></tr>
<tr><td><a href="USet.html#VALmax_elt">max_elt</a> [<a href="USet.html">USet</a>]</td>
<td></td></tr>
<tr><td><a href="ISet.html#VALmax_elt">max_elt</a> [<a href="ISet.html">ISet</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.USet.html#VALmax_elt">max_elt</a> [<a href="Main.Type.USet.html">Main.Type.USet</a>]</td>
<td><div class="info">
Returns a element roughly in the middle of the set.
</div>
</td></tr>
<tr><td><a href="Main.Type.ISet.html#VALmax_elt">max_elt</a> [<a href="Main.Type.ISet.html">Main.Type.ISet</a>]</td>
<td></td></tr>
<tr><td><a href="USet.html#VALmem">mem</a> [<a href="USet.html">USet</a>]</td>
<td></td></tr>
<tr><td><a href="UMap.html#VALmem">mem</a> [<a href="UMap.html">UMap</a>]</td>
<td></td></tr>
<tr><td><a href="ISet.html#VALmem">mem</a> [<a href="ISet.html">ISet</a>]</td>
<td></td></tr>
<tr><td><a href="IMap.html#VALmem">mem</a> [<a href="IMap.html">IMap</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UMap.html#VALmem">mem</a> [<a href="Main.Type.UMap.html">Main.Type.UMap</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.USet.html#VALmem">mem</a> [<a href="Main.Type.USet.html">Main.Type.USet</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.IMap.html#VALmem">mem</a> [<a href="Main.Type.IMap.html">Main.Type.IMap</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.ISet.html#VALmem">mem</a> [<a href="Main.Type.ISet.html">Main.Type.ISet</a>]</td>
<td></td></tr>
<tr><td><a href="USet.html#VALmin_elt">min_elt</a> [<a href="USet.html">USet</a>]</td>
<td></td></tr>
<tr><td><a href="ISet.html#VALmin_elt">min_elt</a> [<a href="ISet.html">ISet</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.USet.html#VALmin_elt">min_elt</a> [<a href="Main.Type.USet.html">Main.Type.USet</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.ISet.html#VALmin_elt">min_elt</a> [<a href="Main.Type.ISet.html">Main.Type.ISet</a>]</td>
<td></td></tr>
<tr><td><a href="XString.html#VALmove">move</a> [<a href="XString.html">XString</a>]</td>
<td></td></tr>
<tr><td><a href="XArray.html#VALmove">move</a> [<a href="XArray.html">XArray</a>]</td>
<td></td></tr>
<tr><td><a href="UnicodeString.Type.html#VALmove">move</a> [<a href="UnicodeString.Type.html">UnicodeString.Type</a>]</td>
<td><div class="info">
<code class="code">move t i n</code> :
if <code class="code">n</code> >= 0, then returns <code class="code">n</code>-th character after <code class="code">i</code> and
otherwise returns -<code class="code">n</code>-th character before <code class="code">i</code>.
</div>
</td></tr>
<tr><td><a href="UText.html#VALmove">move</a> [<a href="UText.html">UText</a>]</td>
<td></td></tr>
<tr><td><a href="UTF8.html#VALmove">move</a> [<a href="UTF8.html">UTF8</a>]</td>
<td><div class="info">
<code class="code">move s i n</code>
returns <code class="code">n</code>-th Unicode character after <code class="code">i</code> if n >= 0,
<code class="code">n</code>-th Unicode character before <code class="code">i</code> if n < 0.
</div>
</td></tr>
<tr><td><a href="UTF16.html#VALmove">move</a> [<a href="UTF16.html">UTF16</a>]</td>
<td></td></tr>
<tr><td><a href="UCS4.html#VALmove">move</a> [<a href="UCS4.html">UCS4</a>]</td>
<td><div class="info">
<code class="code">move s i n</code> :
If n >= 0, returns <code class="code">n</code>-th Unicode character after <code class="code">i</code>.
</div>
</td></tr>
<tr><td><a href="SubText.Type.html#VALmove">move</a> [<a href="SubText.Type.html">SubText.Type</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UCS4.html#VALmove">move</a> [<a href="Main.Type.UCS4.html">Main.Type.UCS4</a>]</td>
<td><div class="info">
<code class="code">iter f s</code> :
Apply <code class="code">f</code> to all Unicode characters in <code class="code">s</code>.
</div>
</td></tr>
<tr><td><a href="Main.Type.UTF16.html#VALmove">move</a> [<a href="Main.Type.UTF16.html">Main.Type.UTF16</a>]</td>
<td><div class="info">
<code class="code">iter f s</code>
Apply <code class="code">f</code> to all Unicode characters in <code class="code">s</code>.
</div>
</td></tr>
<tr><td><a href="Main.Type.UTF8.html#VALmove">move</a> [<a href="Main.Type.UTF8.html">Main.Type.UTF8</a>]</td>
<td><div class="info">
<code class="code">iter f s</code>
applies <code class="code">f</code> to all Unicode characters in <code class="code">s</code>.
</div>
</td></tr>
<tr><td><a href="Main.Type.SubText.Type.html#VALmove">move</a> [<a href="Main.Type.SubText.Type.html">Main.Type.SubText.Type</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.XString.html#VALmove">move</a> [<a href="Main.Type.XString.html">Main.Type.XString</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UText.html#VALmove">move</a> [<a href="Main.Type.UText.html">Main.Type.UText</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UnicodeString.Type.html#VALmove">move</a> [<a href="Main.Type.UnicodeString.Type.html">Main.Type.UnicodeString.Type</a>]</td>
<td><div class="info">
<code class="code">compare_index t i j</code> returns
a positive integer if <code class="code">i</code> is the location placed after <code class="code">j</code> in <code class="code">t</code>,
0 if <code class="code">i</code> and <code class="code">j</code> point the same location, and
a negative integer if <code class="code">i</code> is the location placed before <code class="code">j</code> in <code class="code">t</code>.
</div>
</td></tr>
<tr><td><a href="Main.Type.XArray.html#VALmove">move</a> [<a href="Main.Type.XArray.html">Main.Type.XArray</a>]</td>
<td></td></tr>
<tr><td align="left"><br>N</td></tr>
<tr><td><a href="CharEncoding.Interface.html#VALname_of">name_of</a> [<a href="CharEncoding.Interface.html">CharEncoding.Interface</a>]</td>
<td><div class="info">
Returns the name of the encoding.
</div>
</td></tr>
<tr><td><a href="CharEncoding.Interface.html#VALnew_enc">new_enc</a> [<a href="CharEncoding.Interface.html">CharEncoding.Interface</a>]</td>
<td><div class="info">
<code class="code">new_enc name enc</code> registers the new encoding <code class="code">enc</code>
under the name <code class="code">name</code>
</div>
</td></tr>
<tr><td><a href="XString.html#VALnext">next</a> [<a href="XString.html">XString</a>]</td>
<td></td></tr>
<tr><td><a href="XArray.html#VALnext">next</a> [<a href="XArray.html">XArray</a>]</td>
<td></td></tr>
<tr><td><a href="UnicodeString.Type.html#VALnext">next</a> [<a href="UnicodeString.Type.html">UnicodeString.Type</a>]</td>
<td></td></tr>
<tr><td><a href="UText.html#VALnext">next</a> [<a href="UText.html">UText</a>]</td>
<td></td></tr>
<tr><td><a href="UTF8.html#VALnext">next</a> [<a href="UTF8.html">UTF8</a>]</td>
<td><div class="info">
<code class="code">next s i</code>
returns the position of the head of the Unicode character
located immediately after <code class="code">i</code>.
</div>
</td></tr>
<tr><td><a href="UTF16.html#VALnext">next</a> [<a href="UTF16.html">UTF16</a>]</td>
<td><div class="info">
<code class="code">next s i</code>
returns the position of the head of the Unicode character
located immediately after <code class="code">i</code>.
</div>
</td></tr>
<tr><td><a href="UCS4.html#VALnext">next</a> [<a href="UCS4.html">UCS4</a>]</td>
<td><div class="info">
<code class="code">next s i</code>
returns the position of the head of the Unicode character
located immediately after <code class="code">i</code>.
</div>
</td></tr>
<tr><td><a href="SubText.Type.html#VALnext">next</a> [<a href="SubText.Type.html">SubText.Type</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UCS4.html#VALnext">next</a> [<a href="Main.Type.UCS4.html">Main.Type.UCS4</a>]</td>
<td><div class="info">
<code class="code">prev s i</code>
returns the position of the head of the Unicode character
located immediately before <code class="code">i</code>.
</div>
</td></tr>
<tr><td><a href="Main.Type.UTF16.html#VALnext">next</a> [<a href="Main.Type.UTF16.html">Main.Type.UTF16</a>]</td>
<td><div class="info">
<code class="code">prev s i</code>
returns the position of the head of the Unicode character
located immediately before <code class="code">i</code>.
</div>
</td></tr>
<tr><td><a href="Main.Type.UTF8.html#VALnext">next</a> [<a href="Main.Type.UTF8.html">Main.Type.UTF8</a>]</td>
<td><div class="info">
<code class="code">prev s i</code>
returns the position of the head of the Unicode character
located immediately before <code class="code">i</code>.
</div>
</td></tr>
<tr><td><a href="Main.Type.SubText.Type.html#VALnext">next</a> [<a href="Main.Type.SubText.Type.html">Main.Type.SubText.Type</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.XString.html#VALnext">next</a> [<a href="Main.Type.XString.html">Main.Type.XString</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UText.html#VALnext">next</a> [<a href="Main.Type.UText.html">Main.Type.UText</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UnicodeString.Type.html#VALnext">next</a> [<a href="Main.Type.UnicodeString.Type.html">Main.Type.UnicodeString.Type</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.XArray.html#VALnext">next</a> [<a href="Main.Type.XArray.html">Main.Type.XArray</a>]</td>
<td></td></tr>
<tr><td><a href="UNF.Type.html#VALnfc">nfc</a> [<a href="UNF.Type.html">UNF.Type</a>]</td>
<td></td></tr>
<tr><td><a href="UNF.Type.html#VALnfc_append">nfc_append</a> [<a href="UNF.Type.html">UNF.Type</a>]</td>
<td></td></tr>
<tr><td><a href="UNF.Type.html#VALnfd">nfd</a> [<a href="UNF.Type.html">UNF.Type</a>]</td>
<td></td></tr>
<tr><td><a href="UNF.Type.html#VALnfd_decompose">nfd_decompose</a> [<a href="UNF.Type.html">UNF.Type</a>]</td>
<td></td></tr>
<tr><td><a href="UNF.Type.html#VALnfd_inc">nfd_inc</a> [<a href="UNF.Type.html">UNF.Type</a>]</td>
<td></td></tr>
<tr><td><a href="UNF.Type.html#VALnfkc">nfkc</a> [<a href="UNF.Type.html">UNF.Type</a>]</td>
<td></td></tr>
<tr><td><a href="UNF.Type.html#VALnfkd">nfkd</a> [<a href="UNF.Type.html">UNF.Type</a>]</td>
<td></td></tr>
<tr><td><a href="UNF.Type.html#VALnfkd_decompose">nfkd_decompose</a> [<a href="UNF.Type.html">UNF.Type</a>]</td>
<td></td></tr>
<tr><td><a href="URe.html#VALno_group">no_group</a> [<a href="URe.html">URe</a>]</td>
<td><div class="info">
Remove <code class="code">`Group</code> from the regular expressions.
</div>
</td></tr>
<tr><td><a href="Main.Type.URe.html#VALno_group">no_group</a> [<a href="Main.Type.URe.html">Main.Type.URe</a>]</td>
<td></td></tr>
<tr><td><a href="XString.html#VALnth">nth</a> [<a href="XString.html">XString</a>]</td>
<td></td></tr>
<tr><td><a href="XArray.html#VALnth">nth</a> [<a href="XArray.html">XArray</a>]</td>
<td></td></tr>
<tr><td><a href="UnicodeString.Type.html#VALnth">nth</a> [<a href="UnicodeString.Type.html">UnicodeString.Type</a>]</td>
<td><div class="info">
<code class="code">nth t n</code> : the location of the <code class="code">n</code>-th character in <code class="code">t</code>.
</div>
</td></tr>
<tr><td><a href="UText.html#VALnth">nth</a> [<a href="UText.html">UText</a>]</td>
<td></td></tr>
<tr><td><a href="UTF8.html#VALnth">nth</a> [<a href="UTF8.html">UTF8</a>]</td>
<td><div class="info">
<code class="code">nth s n</code> returns the position of the <code class="code">n</code>-th Unicode character.
</div>
</td></tr>
<tr><td><a href="UTF16.html#VALnth">nth</a> [<a href="UTF16.html">UTF16</a>]</td>
<td><div class="info">
<code class="code">nth s n</code> returns the position of the <code class="code">n</code>-th Unicode character.
</div>
</td></tr>
<tr><td><a href="UCS4.html#VALnth">nth</a> [<a href="UCS4.html">UCS4</a>]</td>
<td><div class="info">
<code class="code">nth s n</code> returns the position of the <code class="code">n</code>-th Unicode character.
</div>
</td></tr>
<tr><td><a href="SubText.Type.html#VALnth">nth</a> [<a href="SubText.Type.html">SubText.Type</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UCS4.html#VALnth">nth</a> [<a href="Main.Type.UCS4.html">Main.Type.UCS4</a>]</td>
<td><div class="info">
<code class="code">first s</code> : The position of the head of the last Unicode character.
</div>
</td></tr>
<tr><td><a href="Main.Type.UTF16.html#VALnth">nth</a> [<a href="Main.Type.UTF16.html">Main.Type.UTF16</a>]</td>
<td><div class="info">
<code class="code">first s</code> : The position of the head of the last Unicode character.
</div>
</td></tr>
<tr><td><a href="Main.Type.UTF8.html#VALnth">nth</a> [<a href="Main.Type.UTF8.html">Main.Type.UTF8</a>]</td>
<td><div class="info">
The position of the head of the first Unicode character.
</div>
</td></tr>
<tr><td><a href="Main.Type.SubText.Type.html#VALnth">nth</a> [<a href="Main.Type.SubText.Type.html">Main.Type.SubText.Type</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.XString.html#VALnth">nth</a> [<a href="Main.Type.XString.html">Main.Type.XString</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UText.html#VALnth">nth</a> [<a href="Main.Type.UText.html">Main.Type.UText</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UnicodeString.Type.html#VALnth">nth</a> [<a href="Main.Type.UnicodeString.Type.html">Main.Type.UnicodeString.Type</a>]</td>
<td><div class="info">
<code class="code">next x i, prev x i</code> :
The operation is valid if <code class="code">i</code> points the valid element, i.e.
</div>
</td></tr>
<tr><td><a href="Main.Type.XArray.html#VALnth">nth</a> [<a href="Main.Type.XArray.html">Main.Type.XArray</a>]</td>
<td></td></tr>
<tr><td align="left"><br>O</td></tr>
<tr><td><a href="UChar.html#VALof_char">of_char</a> [<a href="UChar.html">UChar</a>]</td>
<td><div class="info">
<code class="code">of_char c</code> returns the Unicode character of the Latin-1 character <code class="code">c</code>
</div>
</td></tr>
<tr><td><a href="Main.Type.UChar.html#VALof_char">of_char</a> [<a href="Main.Type.UChar.html">Main.Type.UChar</a>]</td>
<td><div class="info">
<code class="code">code u</code> returns the Unicode code number of <code class="code">u</code>.
</div>
</td></tr>
<tr><td><a href="UChar.html#VALof_int">of_int</a> [<a href="UChar.html">UChar</a>]</td>
<td><div class="info">
Alias of <code class="code">chr_of_uint</code>
</div>
</td></tr>
<tr><td><a href="Main.Type.UChar.html#VALof_int">of_int</a> [<a href="Main.Type.UChar.html">Main.Type.UChar</a>]</td>
<td></td></tr>
<tr><td><a href="UCharTbl.Char.html#VALof_map">of_map</a> [<a href="UCharTbl.Char.html">UCharTbl.Char</a>]</td>
<td></td></tr>
<tr><td><a href="UCharTbl.Bytes.html#VALof_map">of_map</a> [<a href="UCharTbl.Bytes.html">UCharTbl.Bytes</a>]</td>
<td></td></tr>
<tr><td><a href="UCharTbl.Bits.html#VALof_map">of_map</a> [<a href="UCharTbl.Bits.html">UCharTbl.Bits</a>]</td>
<td></td></tr>
<tr><td><a href="UCharTbl.Type.html#VALof_map">of_map</a> [<a href="UCharTbl.Type.html">UCharTbl.Type</a>]</td>
<td><div class="info">
<code class="code">of_map def m</code> creates the table which has the same value to <code class="code">m</code>.
</div>
</td></tr>
<tr><td><a href="Main.Type.UCharTbl.Char.html#VALof_map">of_map</a> [<a href="Main.Type.UCharTbl.Char.html">Main.Type.UCharTbl.Char</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UCharTbl.Bytes.html#VALof_map">of_map</a> [<a href="Main.Type.UCharTbl.Bytes.html">Main.Type.UCharTbl.Bytes</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UCharTbl.Bits.html#VALof_map">of_map</a> [<a href="Main.Type.UCharTbl.Bits.html">Main.Type.UCharTbl.Bits</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UCharTbl.Type.html#VALof_map">of_map</a> [<a href="Main.Type.UCharTbl.Type.html">Main.Type.UCharTbl.Type</a>]</td>
<td></td></tr>
<tr><td><a href="CharEncoding.Interface.html#VALof_name">of_name</a> [<a href="CharEncoding.Interface.html">CharEncoding.Interface</a>]</td>
<td><div class="info">
Returns the encoding of the given name.
</div>
</td></tr>
<tr><td><a href="UCharTbl.Bool.html#VALof_set">of_set</a> [<a href="UCharTbl.Bool.html">UCharTbl.Bool</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UCharTbl.Bool.html#VALof_set">of_set</a> [<a href="Main.Type.UCharTbl.Bool.html">Main.Type.UCharTbl.Bool</a>]</td>
<td></td></tr>
<tr><td><a href="UText.html#VALof_string">of_string</a> [<a href="UText.html">UText</a>]</td>
<td><div class="info">
Conversion from Latin-1 strings.
</div>
</td></tr>
<tr><td><a href="Main.Type.UText.html#VALof_string">of_string</a> [<a href="Main.Type.UText.html">Main.Type.UText</a>]</td>
<td></td></tr>
<tr><td><a href="XString.html#VALout_of_range">out_of_range</a> [<a href="XString.html">XString</a>]</td>
<td></td></tr>
<tr><td><a href="XArray.html#VALout_of_range">out_of_range</a> [<a href="XArray.html">XArray</a>]</td>
<td></td></tr>
<tr><td><a href="UnicodeString.Type.html#VALout_of_range">out_of_range</a> [<a href="UnicodeString.Type.html">UnicodeString.Type</a>]</td>
<td></td></tr>
<tr><td><a href="UText.html#VALout_of_range">out_of_range</a> [<a href="UText.html">UText</a>]</td>
<td></td></tr>
<tr><td><a href="UTF8.html#VALout_of_range">out_of_range</a> [<a href="UTF8.html">UTF8</a>]</td>
<td><div class="info">
<code class="code">out_of_range s i</code>
tests whether <code class="code">i</code> is a position inside of <code class="code">s</code>.
</div>
</td></tr>
<tr><td><a href="UTF16.html#VALout_of_range">out_of_range</a> [<a href="UTF16.html">UTF16</a>]</td>
<td><div class="info">
<code class="code">out_of_range s i</code> tests whether <code class="code">i</code> is inside of <code class="code">s</code>.
</div>
</td></tr>
<tr><td><a href="UCS4.html#VALout_of_range">out_of_range</a> [<a href="UCS4.html">UCS4</a>]</td>
<td><div class="info">
<code class="code">out_of_range s i</code>
tests whether <code class="code">i</code> points the valid position of <code class="code">s</code>.
</div>
</td></tr>
<tr><td><a href="SubText.Type.html#VALout_of_range">out_of_range</a> [<a href="SubText.Type.html">SubText.Type</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UCS4.html#VALout_of_range">out_of_range</a> [<a href="Main.Type.UCS4.html">Main.Type.UCS4</a>]</td>
<td><div class="info">
<code class="code">compare_aux s i1 i2</code> returns
If <code class="code">i1</code> is the position located before <code class="code">i2</code>, a value < 0,
If <code class="code">i1</code> and <code class="code">i2</code> points the same location, 0,
If <code class="code">i1</code> is the position located after <code class="code">i2</code>, a value > 0.
</div>
</td></tr>
<tr><td><a href="Main.Type.UTF16.html#VALout_of_range">out_of_range</a> [<a href="Main.Type.UTF16.html">Main.Type.UTF16</a>]</td>
<td><div class="info">
<code class="code">compare_aux s i1 i2</code> returns If <code class="code">i1</code> is the position located before <code class="code">i2</code>, a value < 0,, If <code class="code">i1</code> and <code class="code">i2</code> points the same location, 0,, If <code class="code">i1</code> is the position located after <code class="code">i2</code>, a value > 0.
</div>
</td></tr>
<tr><td><a href="Main.Type.UTF8.html#VALout_of_range">out_of_range</a> [<a href="Main.Type.UTF8.html">Main.Type.UTF8</a>]</td>
<td><div class="info">
<code class="code">compare_index s i1 i2</code> returns
a value < 0 if <code class="code">i1</code> is the position located before <code class="code">i2</code>,
0 if <code class="code">i1</code> and <code class="code">i2</code> points the same location,
a value > 0 if <code class="code">i1</code> is the position located after <code class="code">i2</code>.
</div>
</td></tr>
<tr><td><a href="Main.Type.SubText.Type.html#VALout_of_range">out_of_range</a> [<a href="Main.Type.SubText.Type.html">Main.Type.SubText.Type</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.XString.html#VALout_of_range">out_of_range</a> [<a href="Main.Type.XString.html">Main.Type.XString</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UText.html#VALout_of_range">out_of_range</a> [<a href="Main.Type.UText.html">Main.Type.UText</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UnicodeString.Type.html#VALout_of_range">out_of_range</a> [<a href="Main.Type.UnicodeString.Type.html">Main.Type.UnicodeString.Type</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.XArray.html#VALout_of_range">out_of_range</a> [<a href="Main.Type.XArray.html">Main.Type.XArray</a>]</td>
<td></td></tr>
<tr><td align="left"><br>P</td></tr>
<tr><td><a href="USet.html#VALpartition">partition</a> [<a href="USet.html">USet</a>]</td>
<td></td></tr>
<tr><td><a href="ISet.html#VALpartition">partition</a> [<a href="ISet.html">ISet</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.USet.html#VALpartition">partition</a> [<a href="Main.Type.USet.html">Main.Type.USet</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.ISet.html#VALpartition">partition</a> [<a href="Main.Type.ISet.html">Main.Type.ISet</a>]</td>
<td></td></tr>
<tr><td><a href="XString.html#VALprev">prev</a> [<a href="XString.html">XString</a>]</td>
<td></td></tr>
<tr><td><a href="XArray.html#VALprev">prev</a> [<a href="XArray.html">XArray</a>]</td>
<td></td></tr>
<tr><td><a href="UnicodeString.Type.html#VALprev">prev</a> [<a href="UnicodeString.Type.html">UnicodeString.Type</a>]</td>
<td></td></tr>
<tr><td><a href="UText.html#VALprev">prev</a> [<a href="UText.html">UText</a>]</td>
<td></td></tr>
<tr><td><a href="UTF8.html#VALprev">prev</a> [<a href="UTF8.html">UTF8</a>]</td>
<td><div class="info">
<code class="code">prev s i</code>
returns the position of the head of the Unicode character
located immediately before <code class="code">i</code>.
</div>
</td></tr>
<tr><td><a href="UTF16.html#VALprev">prev</a> [<a href="UTF16.html">UTF16</a>]</td>
<td><div class="info">
<code class="code">prev s i</code>
returns the position of the head of the Unicode character
located immediately before <code class="code">i</code>.
</div>
</td></tr>
<tr><td><a href="UCS4.html#VALprev">prev</a> [<a href="UCS4.html">UCS4</a>]</td>
<td><div class="info">
<code class="code">prev s i</code>
returns the position of the head of the Unicode character
located immediately before <code class="code">i</code>.
</div>
</td></tr>
<tr><td><a href="SubText.Type.html#VALprev">prev</a> [<a href="SubText.Type.html">SubText.Type</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UCS4.html#VALprev">prev</a> [<a href="Main.Type.UCS4.html">Main.Type.UCS4</a>]</td>
<td><div class="info">
<code class="code">move s i n</code> :
If n >= 0, returns <code class="code">n</code>-th Unicode character after <code class="code">i</code>.
</div>
</td></tr>
<tr><td><a href="Main.Type.UTF16.html#VALprev">prev</a> [<a href="Main.Type.UTF16.html">Main.Type.UTF16</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UTF8.html#VALprev">prev</a> [<a href="Main.Type.UTF8.html">Main.Type.UTF8</a>]</td>
<td><div class="info">
<code class="code">move s i n</code>
returns <code class="code">n</code>-th Unicode character after <code class="code">i</code> if n >= 0,
<code class="code">n</code>-th Unicode character before <code class="code">i</code> if n < 0.
</div>
</td></tr>
<tr><td><a href="Main.Type.SubText.Type.html#VALprev">prev</a> [<a href="Main.Type.SubText.Type.html">Main.Type.SubText.Type</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.XString.html#VALprev">prev</a> [<a href="Main.Type.XString.html">Main.Type.XString</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UText.html#VALprev">prev</a> [<a href="Main.Type.UText.html">Main.Type.UText</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UnicodeString.Type.html#VALprev">prev</a> [<a href="Main.Type.UnicodeString.Type.html">Main.Type.UnicodeString.Type</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.XArray.html#VALprev">prev</a> [<a href="Main.Type.XArray.html">Main.Type.XArray</a>]</td>
<td></td></tr>
<tr><td><a href="UPervasives.html#VALprinter_uchar">printer_uchar</a> [<a href="UPervasives.html">UPervasives</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UPervasives.html#VALprinter_uchar">printer_uchar</a> [<a href="Main.Type.UPervasives.html">Main.Type.UPervasives</a>]</td>
<td></td></tr>
<tr><td><a href="UPervasives.html#VALprinter_utf8">printer_utf8</a> [<a href="UPervasives.html">UPervasives</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UPervasives.html#VALprinter_utf8">printer_utf8</a> [<a href="Main.Type.UPervasives.html">Main.Type.UPervasives</a>]</td>
<td></td></tr>
<tr><td><a href="UNF.Type.html#VALput_nfc">put_nfc</a> [<a href="UNF.Type.html">UNF.Type</a>]</td>
<td></td></tr>
<tr><td><a href="UNF.Type.html#VALput_nfd">put_nfd</a> [<a href="UNF.Type.html">UNF.Type</a>]</td>
<td></td></tr>
<tr><td><a href="UNF.Type.html#VALput_nfkc">put_nfkc</a> [<a href="UNF.Type.html">UNF.Type</a>]</td>
<td></td></tr>
<tr><td><a href="UNF.Type.html#VALput_nfkd">put_nfkd</a> [<a href="UNF.Type.html">UNF.Type</a>]</td>
<td></td></tr>
<tr><td align="left"><br>Q</td></tr>
<tr><td><a href="UReStr.Interface.html#VALquote">quote</a> [<a href="UReStr.Interface.html">UReStr.Interface</a>]</td>
<td></td></tr>
<tr><td align="left"><br>R</td></tr>
<tr><td><a href="USet.html#VALranges">ranges</a> [<a href="USet.html">USet</a>]</td>
<td><div class="info">
The list of the intervals contained in the set.
</div>
</td></tr>
<tr><td><a href="ISet.html#VALranges">ranges</a> [<a href="ISet.html">ISet</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.USet.html#VALranges">ranges</a> [<a href="Main.Type.USet.html">Main.Type.USet</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.ISet.html#VALranges">ranges</a> [<a href="Main.Type.ISet.html">Main.Type.ISet</a>]</td>
<td></td></tr>
<tr><td><a href="Locale.html#VALread">read</a> [<a href="Locale.html">Locale</a>]</td>
<td><div class="info">
<code class="code">read root suffix reader locale</code>
reads locale information using <code class="code">reader</code>.
</div>
</td></tr>
<tr><td><a href="Main.Type.Locale.html#VALread">read</a> [<a href="Main.Type.Locale.html">Main.Type.Locale</a>]</td>
<td><div class="info">
<code class="code">contain loc1 loc2</code> :
If <code class="code">loc1</code> is contained in <code class="code">loc2</code> then true otherwise false.
</div>
</td></tr>
<tr><td><a href="CharEncoding.Interface.html#VALrecode_string">recode_string</a> [<a href="CharEncoding.Interface.html">CharEncoding.Interface</a>]</td>
<td><div class="info">
<code class="code">recode_string ~in_enc ~out_enc s</code>
converts the string <code class="code">s</code> from <code class="code">in_enc</code> to <code class="code">out_enc</code>.
</div>
</td></tr>
<tr><td><a href="SubText.Type.html#VALrefer">refer</a> [<a href="SubText.Type.html">SubText.Type</a>]</td>
<td><div class="info">
<code class="code">refer t i j</code> returns the part of <code class="code">t</code> from <code class="code">i</code> until <code class="code">j</code>.
</div>
</td></tr>
<tr><td><a href="Main.Type.SubText.Type.html#VALrefer">refer</a> [<a href="Main.Type.SubText.Type.html">Main.Type.SubText.Type</a>]</td>
<td><div class="info">
<code class="code">excerpt t</code> copies the contents of <code class="code">t</code> as a new ur_text.
</div>
</td></tr>
<tr><td><a href="UReStr.Interface.html#VALregexp">regexp</a> [<a href="UReStr.Interface.html">UReStr.Interface</a>]</td>
<td></td></tr>
<tr><td><a href="URe.Type.html#VALregexp_match">regexp_match</a> [<a href="URe.Type.html">URe.Type</a>]</td>
<td><div class="info">
<code class="code">regexp_match ?sem r t i</code> tries matching <code class="code">r</code> and substrings
of <code class="code">t</code> beginning from <code class="code">i</code>.
</div>
</td></tr>
<tr><td><a href="UReStr.Interface.Type.html#VALregexp_match">regexp_match</a> [<a href="UReStr.Interface.Type.html">UReStr.Interface.Type</a>]</td>
<td><div class="info">
<code class="code">regexp_match ?sem r t i</code> tries matching <code class="code">r</code> and substrings
of <code class="code">t</code> beginning from <code class="code">i</code>.
</div>
</td></tr>
<tr><td><a href="Main.Type.URe.Type.html#VALregexp_match">regexp_match</a> [<a href="Main.Type.URe.Type.html">Main.Type.URe.Type</a>]</td>
<td><div class="info">
<code class="code">string_match r t i</code> tests whether <code class="code">r</code> can match a substring
of <code class="code">t</code> beginning from <code class="code">i</code>.
</div>
</td></tr>
<tr><td><a href="UReStr.Interface.html#VALregexp_string">regexp_string</a> [<a href="UReStr.Interface.html">UReStr.Interface</a>]</td>
<td></td></tr>
<tr><td><a href="USet.html#VALremove">remove</a> [<a href="USet.html">USet</a>]</td>
<td></td></tr>
<tr><td><a href="UMap.html#VALremove">remove</a> [<a href="UMap.html">UMap</a>]</td>
<td></td></tr>
<tr><td><a href="ISet.html#VALremove">remove</a> [<a href="ISet.html">ISet</a>]</td>
<td></td></tr>
<tr><td><a href="IMap.html#VALremove">remove</a> [<a href="IMap.html">IMap</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UMap.html#VALremove">remove</a> [<a href="Main.Type.UMap.html">Main.Type.UMap</a>]</td>
<td><div class="info">
<code class="code">remove_range u1 u2 m</code> removes <code class="code">u1</code>-<code class="code">u2</code> from the domain of <code class="code">m</code>
</div>
</td></tr>
<tr><td><a href="Main.Type.USet.html#VALremove">remove</a> [<a href="Main.Type.USet.html">Main.Type.USet</a>]</td>
<td><div class="info">
<code class="code">remove_range u1 u2 s</code> removes the characters in the range <code class="code">u1</code> - <code class="code">u2</code>
from <code class="code">s</code>.
</div>
</td></tr>
<tr><td><a href="Main.Type.IMap.html#VALremove">remove</a> [<a href="Main.Type.IMap.html">Main.Type.IMap</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.ISet.html#VALremove">remove</a> [<a href="Main.Type.ISet.html">Main.Type.ISet</a>]</td>
<td></td></tr>
<tr><td><a href="USet.html#VALremove_range">remove_range</a> [<a href="USet.html">USet</a>]</td>
<td><div class="info">
<code class="code">remove_range u1 u2 s</code> removes the characters in the range <code class="code">u1</code> - <code class="code">u2</code>
from <code class="code">s</code>.
</div>
</td></tr>
<tr><td><a href="UMap.html#VALremove_range">remove_range</a> [<a href="UMap.html">UMap</a>]</td>
<td><div class="info">
<code class="code">remove_range u1 u2 m</code> removes <code class="code">u1</code>-<code class="code">u2</code> from the domain of <code class="code">m</code>
</div>
</td></tr>
<tr><td><a href="ISet.html#VALremove_range">remove_range</a> [<a href="ISet.html">ISet</a>]</td>
<td></td></tr>
<tr><td><a href="IMap.html#VALremove_range">remove_range</a> [<a href="IMap.html">IMap</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UMap.html#VALremove_range">remove_range</a> [<a href="Main.Type.UMap.html">Main.Type.UMap</a>]</td>
<td><div class="info">
<code class="code">from u m</code> restricts the domain of <code class="code">m</code> to the characters whose
code points are equal or greater than <code class="code">u</code>.
</div>
</td></tr>
<tr><td><a href="Main.Type.USet.html#VALremove_range">remove_range</a> [<a href="Main.Type.USet.html">Main.Type.USet</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.IMap.html#VALremove_range">remove_range</a> [<a href="Main.Type.IMap.html">Main.Type.IMap</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.ISet.html#VALremove_range">remove_range</a> [<a href="Main.Type.ISet.html">Main.Type.ISet</a>]</td>
<td></td></tr>
<tr><td><a href="XString.Buf.html#VALreset">reset</a> [<a href="XString.Buf.html">XString.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="XString.html#VALreset">reset</a> [<a href="XString.html">XString</a>]</td>
<td></td></tr>
<tr><td><a href="XArray.html#VALreset">reset</a> [<a href="XArray.html">XArray</a>]</td>
<td></td></tr>
<tr><td><a href="UnicodeString.Type.Buf.html#VALreset">reset</a> [<a href="UnicodeString.Type.Buf.html">UnicodeString.Type.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="UText.Buf.html#VALreset">reset</a> [<a href="UText.Buf.html">UText.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="UTF8.Buf.html#VALreset">reset</a> [<a href="UTF8.Buf.html">UTF8.Buf</a>]</td>
<td><div class="info">
Empty the buffer and de-allocate the internal storage.
</div>
</td></tr>
<tr><td><a href="UTF16.Buf.html#VALreset">reset</a> [<a href="UTF16.Buf.html">UTF16.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="UCS4.Buf.html#VALreset">reset</a> [<a href="UCS4.Buf.html">UCS4.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="SubText.Type.Buf.html#VALreset">reset</a> [<a href="SubText.Type.Buf.html">SubText.Type.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="UNF.Type.NFCBuf.html#VALreset">reset</a> [<a href="UNF.Type.NFCBuf.html">UNF.Type.NFCBuf</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UCS4.Buf.html#VALreset">reset</a> [<a href="Main.Type.UCS4.Buf.html">Main.Type.UCS4.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UTF16.Buf.html#VALreset">reset</a> [<a href="Main.Type.UTF16.Buf.html">Main.Type.UTF16.Buf</a>]</td>
<td><div class="info">
if the character is not representable, raise Out_of_range
</div>
</td></tr>
<tr><td><a href="Main.Type.UTF8.Buf.html#VALreset">reset</a> [<a href="Main.Type.UTF8.Buf.html">Main.Type.UTF8.Buf</a>]</td>
<td><div class="info">
Add one Unicode character to the buffer.
</div>
</td></tr>
<tr><td><a href="Main.Type.SubText.Type.Buf.html#VALreset">reset</a> [<a href="Main.Type.SubText.Type.Buf.html">Main.Type.SubText.Type.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.XString.Buf.html#VALreset">reset</a> [<a href="Main.Type.XString.Buf.html">Main.Type.XString.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.XString.html#VALreset">reset</a> [<a href="Main.Type.XString.html">Main.Type.XString</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UText.Buf.html#VALreset">reset</a> [<a href="Main.Type.UText.Buf.html">Main.Type.UText.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UnicodeString.Type.Buf.html#VALreset">reset</a> [<a href="Main.Type.UnicodeString.Type.Buf.html">Main.Type.UnicodeString.Type.Buf</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.XArray.html#VALreset">reset</a> [<a href="Main.Type.XArray.html">Main.Type.XArray</a>]</td>
<td></td></tr>
<tr><td align="left"><br>S</td></tr>
<tr><td><a href="UCharInfo.Type.html#VALscript">script</a> [<a href="UCharInfo.Type.html">UCharInfo.Type</a>]</td>
<td></td></tr>
<tr><td><a href="UCol.Type.html#VALsearch">search</a> [<a href="UCol.Type.html">UCol.Type</a>]</td>
<td></td></tr>
<tr><td><a href="URe.Type.html#VALsearch_forward">search_forward</a> [<a href="URe.Type.html">URe.Type</a>]</td>
<td><div class="info">
<code class="code">search_forward ?sem r t i</code> searches a substring of <code class="code">t</code>
matching <code class="code">r</code> from <code class="code">i</code>.
</div>
</td></tr>
<tr><td><a href="UReStr.Interface.Type.html#VALsearch_forward">search_forward</a> [<a href="UReStr.Interface.Type.html">UReStr.Interface.Type</a>]</td>
<td><div class="info">
<code class="code">search_forward ?sem r t i</code> searches a substring of <code class="code">t</code>
matching <code class="code">r</code> from <code class="code">i</code>.
</div>
</td></tr>
<tr><td><a href="Main.Type.URe.Type.html#VALsearch_forward">search_forward</a> [<a href="Main.Type.URe.Type.html">Main.Type.URe.Type</a>]</td>
<td></td></tr>
<tr><td><a href="UCol.Type.html#VALsearch_with_key">search_with_key</a> [<a href="UCol.Type.html">UCol.Type</a>]</td>
<td></td></tr>
<tr><td><a href="XString.html#VALset">set</a> [<a href="XString.html">XString</a>]</td>
<td></td></tr>
<tr><td><a href="XArray.html#VALset">set</a> [<a href="XArray.html">XArray</a>]</td>
<td></td></tr>
<tr><td><a href="UText.html#VALset">set</a> [<a href="UText.html">UText</a>]</td>
<td><div class="info">
<code class="code">set s i u</code> sets the <code class="code">i</code>-th character in <code class="code">s</code> to <code class="code">u</code>.
</div>
</td></tr>
<tr><td><a href="Main.Type.XString.html#VALset">set</a> [<a href="Main.Type.XString.html">Main.Type.XString</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UText.html#VALset">set</a> [<a href="Main.Type.UText.html">Main.Type.UText</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.XArray.html#VALset">set</a> [<a href="Main.Type.XArray.html">Main.Type.XArray</a>]</td>
<td></td></tr>
<tr><td><a href="UMap.html#VALset_to_map">set_to_map</a> [<a href="UMap.html">UMap</a>]</td>
<td><div class="info">
Constant map.
</div>
</td></tr>
<tr><td><a href="IMap.html#VALset_to_map">set_to_map</a> [<a href="IMap.html">IMap</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UMap.html#VALset_to_map">set_to_map</a> [<a href="Main.Type.UMap.html">Main.Type.UMap</a>]</td>
<td><div class="info">
Domain.
</div>
</td></tr>
<tr><td><a href="Main.Type.IMap.html#VALset_to_map">set_to_map</a> [<a href="Main.Type.IMap.html">Main.Type.IMap</a>]</td>
<td></td></tr>
<tr><td><a href="XString.html#VALshrink">shrink</a> [<a href="XString.html">XString</a>]</td>
<td></td></tr>
<tr><td><a href="XArray.html#VALshrink">shrink</a> [<a href="XArray.html">XArray</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.XString.html#VALshrink">shrink</a> [<a href="Main.Type.XString.html">Main.Type.XString</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.XArray.html#VALshrink">shrink</a> [<a href="Main.Type.XArray.html">Main.Type.XArray</a>]</td>
<td></td></tr>
<tr><td><a href="USet.html#VALsingleton">singleton</a> [<a href="USet.html">USet</a>]</td>
<td></td></tr>
<tr><td><a href="ISet.html#VALsingleton">singleton</a> [<a href="ISet.html">ISet</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.USet.html#VALsingleton">singleton</a> [<a href="Main.Type.USet.html">Main.Type.USet</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.ISet.html#VALsingleton">singleton</a> [<a href="Main.Type.ISet.html">Main.Type.ISet</a>]</td>
<td></td></tr>
<tr><td><a href="UCol.Type.html#VALsort_key">sort_key</a> [<a href="UCol.Type.html">UCol.Type</a>]</td>
<td><div class="info">
Binary comparison of sort_key gives the same result as <code class="code">compare</code>.
</div>
</td></tr>
<tr><td><a href="OOChannel.html#VALstream_of_channel">stream_of_channel</a> [<a href="OOChannel.html">OOChannel</a>]</td>
<td><div class="info">
Convert obj_input_channel to stream
</div>
</td></tr>
<tr><td><a href="Main.Type.OOChannel.html#VALstream_of_channel">stream_of_channel</a> [<a href="Main.Type.OOChannel.html">Main.Type.OOChannel</a>]</td>
<td><div class="info">
Character(byte) input channel.
</div>
</td></tr>
<tr><td><a href="URe.Type.html#VALstring_match">string_match</a> [<a href="URe.Type.html">URe.Type</a>]</td>
<td><div class="info">
<code class="code">string_match r t i</code> tests whether <code class="code">r</code> can match a substring
of <code class="code">t</code> beginning from <code class="code">i</code>.
</div>
</td></tr>
<tr><td><a href="UReStr.Interface.Type.html#VALstring_match">string_match</a> [<a href="UReStr.Interface.Type.html">UReStr.Interface.Type</a>]</td>
<td><div class="info">
<code class="code">string_match r t i</code> tests whether <code class="code">r</code> can match a substring
of <code class="code">t</code> beginning from <code class="code">i</code>.
</div>
</td></tr>
<tr><td><a href="Main.Type.URe.Type.html#VALstring_match">string_match</a> [<a href="Main.Type.URe.Type.html">Main.Type.URe.Type</a>]</td>
<td><div class="info">
<code class="code">search_forward ?sem r t i</code> searches a substring of <code class="code">t</code>
matching <code class="code">r</code> from <code class="code">i</code>.
</div>
</td></tr>
<tr><td><a href="XString.html#VALsub">sub</a> [<a href="XString.html">XString</a>]</td>
<td></td></tr>
<tr><td><a href="XArray.html#VALsub">sub</a> [<a href="XArray.html">XArray</a>]</td>
<td></td></tr>
<tr><td><a href="UText.html#VALsub">sub</a> [<a href="UText.html">UText</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.XString.html#VALsub">sub</a> [<a href="Main.Type.XString.html">Main.Type.XString</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UText.html#VALsub">sub</a> [<a href="Main.Type.UText.html">Main.Type.UText</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.XArray.html#VALsub">sub</a> [<a href="Main.Type.XArray.html">Main.Type.XArray</a>]</td>
<td></td></tr>
<tr><td><a href="USet.html#VALsubset">subset</a> [<a href="USet.html">USet</a>]</td>
<td></td></tr>
<tr><td><a href="ISet.html#VALsubset">subset</a> [<a href="ISet.html">ISet</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.USet.html#VALsubset">subset</a> [<a href="Main.Type.USet.html">Main.Type.USet</a>]</td>
<td><div class="info">
<code class="code">from u s</code> returns the set of elements of <code class="code">s</code>
whose code points are equal or greater than <code class="code">u</code>.
</div>
</td></tr>
<tr><td><a href="Main.Type.ISet.html#VALsubset">subset</a> [<a href="Main.Type.ISet.html">Main.Type.ISet</a>]</td>
<td></td></tr>
<tr><td align="left"><br>T</td></tr>
<tr><td><a href="CaseMap.Type.html#VALtitlecase">titlecase</a> [<a href="CaseMap.Type.html">CaseMap.Type</a>]</td>
<td><div class="info">
Capitalize the beginning of words
</div>
</td></tr>
<tr><td align="left"><br>U</td></tr>
<tr><td><a href="UPervasives.html#VALuchar_of_int">uchar_of_int</a> [<a href="UPervasives.html">UPervasives</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UPervasives.html#VALuchar_of_int">uchar_of_int</a> [<a href="Main.Type.UPervasives.html">Main.Type.UPervasives</a>]</td>
<td></td></tr>
<tr><td><a href="CharEncoding.Interface.html#VALucs4">ucs4</a> [<a href="CharEncoding.Interface.html">CharEncoding.Interface</a>]</td>
<td></td></tr>
<tr><td><a href="UChar.html#VALuint_code">uint_code</a> [<a href="UChar.html">UChar</a>]</td>
<td><div class="info">
<code class="code">uint_code u</code> returns the Unicode code number of <code class="code">u</code>.
</div>
</td></tr>
<tr><td><a href="Main.Type.UChar.html#VALuint_code">uint_code</a> [<a href="Main.Type.UChar.html">Main.Type.UChar</a>]</td>
<td><div class="info">
<code class="code">chr_of_uint n</code> returns the Unicode character of the code number <code class="code">n</code>.
</div>
</td></tr>
<tr><td><a href="UMap.html#VALumap_of_imap">umap_of_imap</a> [<a href="UMap.html">UMap</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UMap.html#VALumap_of_imap">umap_of_imap</a> [<a href="Main.Type.UMap.html">Main.Type.UMap</a>]</td>
<td></td></tr>
<tr><td><a href="USet.html#VALunion">union</a> [<a href="USet.html">USet</a>]</td>
<td></td></tr>
<tr><td><a href="ISet.html#VALunion">union</a> [<a href="ISet.html">ISet</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.USet.html#VALunion">union</a> [<a href="Main.Type.USet.html">Main.Type.USet</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.ISet.html#VALunion">union</a> [<a href="Main.Type.ISet.html">Main.Type.ISet</a>]</td>
<td></td></tr>
<tr><td><a href="USet.html#VALuntil">until</a> [<a href="USet.html">USet</a>]</td>
<td><div class="info">
<code class="code">until u s</code> returns the set of elements of <code class="code">s</code>
whose code points are equal or smaller than <code class="code">u</code>.
</div>
</td></tr>
<tr><td><a href="UMap.html#VALuntil">until</a> [<a href="UMap.html">UMap</a>]</td>
<td><div class="info">
<code class="code">until u m</code> restricts the domain of <code class="code">m</code> to the characters whose
code points are equal or smaller than <code class="code">u</code>.
</div>
</td></tr>
<tr><td><a href="ISet.html#VALuntil">until</a> [<a href="ISet.html">ISet</a>]</td>
<td></td></tr>
<tr><td><a href="IMap.html#VALuntil">until</a> [<a href="IMap.html">IMap</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UMap.html#VALuntil">until</a> [<a href="Main.Type.UMap.html">Main.Type.UMap</a>]</td>
<td><div class="info">
<code class="code">before u m</code> restricts the domain of <code class="code">m</code> to the characters whose
code points are smaller than <code class="code">u</code>.
</div>
</td></tr>
<tr><td><a href="Main.Type.USet.html#VALuntil">until</a> [<a href="Main.Type.USet.html">Main.Type.USet</a>]</td>
<td><div class="info">
<code class="code">until u s</code> returns the set of elements of <code class="code">s</code>
whose code points are smaller than <code class="code">u</code>.
</div>
</td></tr>
<tr><td><a href="Main.Type.IMap.html#VALuntil">until</a> [<a href="Main.Type.IMap.html">Main.Type.IMap</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.ISet.html#VALuntil">until</a> [<a href="Main.Type.ISet.html">Main.Type.ISet</a>]</td>
<td></td></tr>
<tr><td><a href="CaseMap.Type.html#VALuppercase">uppercase</a> [<a href="CaseMap.Type.html">CaseMap.Type</a>]</td>
<td></td></tr>
<tr><td><a href="SubText.Type.html#VALur_index_of">ur_index_of</a> [<a href="SubText.Type.html">SubText.Type</a>]</td>
<td><div class="info">
Conversion from indexes of sub-texts to ur_texts.
</div>
</td></tr>
<tr><td><a href="Main.Type.SubText.Type.html#VALur_index_of">ur_index_of</a> [<a href="Main.Type.SubText.Type.html">Main.Type.SubText.Type</a>]</td>
<td></td></tr>
<tr><td><a href="USet.html#VALuset_of_iset">uset_of_iset</a> [<a href="USet.html">USet</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.USet.html#VALuset_of_iset">uset_of_iset</a> [<a href="Main.Type.USet.html">Main.Type.USet</a>]</td>
<td></td></tr>
<tr><td><a href="CharEncoding.Interface.html#VALustream_of">ustream_of</a> [<a href="CharEncoding.Interface.html">CharEncoding.Interface</a>]</td>
<td><div class="info">
<code class="code">ustream_of enc chars</code> converts the byte stream <code class="code">chars</code>
to the Unicode character stream by the encoding <code class="code">enc</code>.
</div>
</td></tr>
<tr><td><a href="XString.html#VALustring_of">ustring_of</a> [<a href="XString.html">XString</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.XString.html#VALustring_of">ustring_of</a> [<a href="Main.Type.XString.html">Main.Type.XString</a>]</td>
<td></td></tr>
<tr><td><a href="UText.html#VALustring_of_utext">ustring_of_utext</a> [<a href="UText.html">UText</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UText.html#VALustring_of_utext">ustring_of_utext</a> [<a href="Main.Type.UText.html">Main.Type.UText</a>]</td>
<td></td></tr>
<tr><td><a href="XString.html#VALutext_of">utext_of</a> [<a href="XString.html">XString</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.XString.html#VALutext_of">utext_of</a> [<a href="Main.Type.XString.html">Main.Type.XString</a>]</td>
<td></td></tr>
<tr><td><a href="UText.html#VALutext_of_ustring">utext_of_ustring</a> [<a href="UText.html">UText</a>]</td>
<td></td></tr>
<tr><td><a href="Main.Type.UText.html#VALutext_of_ustring">utext_of_ustring</a> [<a href="Main.Type.UText.html">Main.Type.UText</a>]</td>
<td></td></tr>
<tr><td><a href="CharEncoding.Interface.html#VALutf16">utf16</a> [<a href="CharEncoding.Interface.html">CharEncoding.Interface</a>]</td>
<td></td></tr>
<tr><td><a href="CharEncoding.Interface.html#VALutf16be">utf16be</a> [<a href="CharEncoding.Interface.html">CharEncoding.Interface</a>]</td>
<td></td></tr>
<tr><td><a href="CharEncoding.Interface.html#VALutf16le">utf16le</a> [<a href="CharEncoding.Interface.html">CharEncoding.Interface</a>]</td>
<td></td></tr>
<tr><td><a href="CharEncoding.Interface.html#VALutf32">utf32</a> [<a href="CharEncoding.Interface.html">CharEncoding.Interface</a>]</td>
<td></td></tr>
<tr><td><a href="CharEncoding.Interface.html#VALutf32be">utf32be</a> [<a href="CharEncoding.Interface.html">CharEncoding.Interface</a>]</td>
<td></td></tr>
<tr><td><a href="CharEncoding.Interface.html#VALutf32le">utf32le</a> [<a href="CharEncoding.Interface.html">CharEncoding.Interface</a>]</td>
<td></td></tr>
<tr><td><a href="CharEncoding.Interface.html#VALutf8">utf8</a> [<a href="CharEncoding.Interface.html">CharEncoding.Interface</a>]</td>
<td></td></tr>
<tr><td align="left"><br>V</td></tr>
<tr><td><a href="UTF8.html#VALvalidate">validate</a> [<a href="UTF8.html">UTF8</a>]</td>
<td><div class="info">
<code class="code">validate s</code>
successes if s is valid UTF-8, otherwise raises Malformed_code.
</div>
</td></tr>
<tr><td><a href="UTF16.html#VALvalidate">validate</a> [<a href="UTF16.html">UTF16</a>]</td>
<td><div class="info">
<code class="code">validate s</code>
If <code class="code">s</code> is valid UTF-16 then successes otherwise raises <code class="code">Malformed_code</code>.
</div>
</td></tr>
<tr><td><a href="UCS4.html#VALvalidate">validate</a> [<a href="UCS4.html">UCS4</a>]</td>
<td><div class="info">
<code class="code">validate s</code>
If <code class="code">s</code> is valid UCS4 then successes otherwise raises <code class="code">Malformed_code</code>.
</div>
</td></tr>
<tr><td><a href="Main.Type.UCS4.html#VALvalidate">validate</a> [<a href="Main.Type.UCS4.html">Main.Type.UCS4</a>]</td>
<td><div class="info">
All functions below assume strings are valid UCS4.
</div>
</td></tr>
<tr><td><a href="Main.Type.UTF16.html#VALvalidate">validate</a> [<a href="Main.Type.UTF16.html">Main.Type.UTF16</a>]</td>
<td><div class="info">
All functions below assume strings are valid UTF-16.
</div>
</td></tr>
<tr><td><a href="Main.Type.UTF8.html#VALvalidate">validate</a> [<a href="Main.Type.UTF8.html">Main.Type.UTF8</a>]</td>
<td></td></tr>
</table><br>
</body>
</html>
distrib
>
Mandriva
>
2010.0
>
i586
>
media
>
contrib-release
>
by-pkgid
>
907b2e04e547936247d272a04226e524
>
files
>
203
