411 REFERENCE · Wikibooks
CDuce/Directives
Reference material by Wikibooks contributors. This retains its source identity and is not 411 news reporting.
#help
The CDuce directive #help lists the available toplevel directives:
#help;;
Toplevel directives:
#quit;; quit the interpreter
#env;; dump current environment
#reinit_ns;; reinitialize namespace processing
#help;; shows this help message
#print_type <type>;;
#silent;; turn off outputs from the toplevel
#verbose;; turn on outputs from the toplevel
#builtins;; shows embedded OCaml values
#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.
#env;;
Types: Namespaces AnyXml String Record Latin1 Empty Arrow Float Pair Char Atom Bool Byte Any Int
...
#print_type
The CDuce directive #print_type shows a representation of a CDuce type.
#print_type String;;
[ Char* ]