| 42 |
<li>Values: <code>`A, `B, `a, `b, `true, `false, ...</code> </li> |
<li>Values: <code>`A, `B, `a, `b, `true, `false, ...</code> </li> |
| 43 |
<li>Types: singletons <code>`A, `B, ...</code> </li> |
<li>Types: singletons <code>`A, `B, ...</code> </li> |
| 44 |
<li>Operators: <code>atom_of</code> : String -> Atom</li> |
<li>Operators: <code>atom_of</code> : String -> Atom</li> |
| 45 |
|
<li>CDuce also supports <local href="namespaces">XML Namespaces</local></li> |
| 46 |
</ul> |
</ul> |
| 47 |
</li> |
</li> |
| 48 |
</ul> |
</ul> |
| 124 |
field <code>l</code> is not present)</li> |
field <code>l</code> is not present)</li> |
| 125 |
<li>Field access: <code>e1 . l</code></li> |
<li>Field access: <code>e1 . l</code></li> |
| 126 |
<li>Record: <code>{ l1 = p1; ...; ln = pn }</code></li> |
<li>Record: <code>{ l1 = p1; ...; ln = pn }</code></li> |
| 127 |
|
<li>Labels are in fact Qualified Names (see <local href="namespaces"/>)</li> |
| 128 |
</ul> |
</ul> |
| 129 |
</box> |
</box> |
| 130 |
|
|
| 203 |
|
|
| 204 |
<box title="Toplevel statements" link="toplevel"> |
<box title="Toplevel statements" link="toplevel"> |
| 205 |
<ul> |
<ul> |
| 206 |
|
<li>Global expression to evaluate.</li> |
| 207 |
|
<li>Global let-binding.</li> |
| 208 |
|
<li>Global function declaration.</li> |
| 209 |
<li>Type declarations: <code>type T = t</code>.</li> |
<li>Type declarations: <code>type T = t</code>.</li> |
| 210 |
<li>Source inclusion: <code>include </code> <i> filename_string</i></li> |
<li>Global <local href="namespaces">namespace</local>: |
| 211 |
<li>Debug directives: <code>debug </code> <i> directive argument</i> <br/> |
<code>namespace p = "..."</code>, |
| 212 |
where <i> directive</i> is one of the following: <code>accept</code>, |
<code>namespace "..."</code>.</li> |
| 213 |
<code>subtype</code>, <code>compile</code>. |
<li>Source inclusion: <code>include %%filename_string%%</code>.</li> |
| 214 |
|
<li>Debug directives: <code>debug %%directive argument%%</code> <br/> |
| 215 |
|
where <code>%%directive%%</code> is one of the following: <code>accept</code>, |
| 216 |
|
<code>subtype</code>, <code>compile</code>, <code>sample</code>, <code>filter</code>. |
| 217 |
</li> |
</li> |
| 218 |
|
<li>Toplevel directives: <code>#env</code>, <code>#quit</code>, |
| 219 |
|
<code>#reinit_ns</code>.</li> |
| 220 |
</ul> |
</ul> |
| 221 |
</box> |
</box> |
| 222 |
|
|