The CDuce toplevel interpreter is launched by the command
cduce
or better, by
ledit cduce
The directive #quit;; permits to exit the interpreter.
This page may need to be 
