CDuce/指令

#help

CDuce 指令 #help 列出了可用的顶级指令

#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

CDuce 指令 #quit 允许退出（例如，退出）顶级解释器。Ctrl-C 和 Ctrl-D 键可以执行相同的操作。

#env

CDuce 指令 #env 列出了已定义的类型等。

#env;;
Types: Namespaces AnyXml String Record Latin1 Empty Arrow Float Pair Char Atom Bool Byte Any Int
...

#print_type

CDuce 指令 #print_type 显示 CDuce 类型的表示形式。

#print_type String;;
[ Char* ]