CDuce/Directives

#help
The CDuce directive #help lists the available toplevel directives: Toplevel directives: #quit;;                quit the interpreter #env;;                 dump current environment #reinit_ns;;           reinitialize namespace processing #help;;                shows this help message #print_type ;; #silent;;              turn off outputs from the toplevel #verbose;;             turn on outputs from the toplevel #builtins;;            shows embedded OCaml values
 * 1) help;;

#quit
The CDuce directive #quit permits to quit (e.g. exit) the toplevel interpreter. The keys Ctrl-C and Ctrl-D do the same thing.

#env
The CDuce directive #env lists among other things the defined types. Types: Namespaces AnyXml String Record Latin1 Empty Arrow Float Pair Char Atom Bool Byte Any Int ...
 * 1) env;;

#print_type
The CDuce directive #print_type shows a representation of a CDuce type. [ Char* ]
 * 1) print_type String;;