[r2003-04-02 13:16:40 by cvscast] Empty log message

Original author: cvscast
Date: 2003-04-02 13:16:40+00:00

web/memento.xml

@@ -213,13 +213,23 @@ Tn = tn</duce>.</li>
 <li>Default values: <duce>(x := c)</duce>. </li>
 </ul>
 </box>
+
+<box title="Toplevel statements" link="type">
+<ul>
+<li>Type declarations: <duce>type T = t</duce>.</li>
+<li>Source inclusion: <duce>include </duce> <i> filename_string</i></li>
+<li>Debug directives: <duce>debug </duce> <i> directive argument</i> <br/>
+    where <i> directive</i> is one of the following: <duce>accept</duce>,
+<duce>subtype</duce>,<duce>accept</duce>,<duce>compile</duce>.
+    </li>
+</ul>
+</box>
+
+
 <meta>
 <p>
 This page has been generated by a CDuce program.
 </p>
-<p>
-<b>Todo</b>: toplevel phrases.
-</p>
 <p><a href="/">Home page</a> - <a href="mailto:Alain.Frisch@ens.fr">Webmaster</a>
 </p>
 </meta>