CDuce/Toplevel

The CDuce toplevel interpreter is launched by the command

cduce

or better, by

ledit cduce

The directive #quit;; permits to exit the interpreter.