Ciao Command-line HelpAuthor(s): Ciao Development Team, Jose F. Morales.
Usage and interface
Documentation on exports
Show help for the command line interface. Level specifies the detail level and Prof the command line profile (useful when the same command may act in different ways).
- Call and exit should be compatible with:
(basic_props:atm/1)Prof is an atom.
- The following properties should hold at call time:
(term_typing:nonvar/1)Level is currently a term which is not a free variable.
(term_typing:nonvar/1)Prof is currently a term which is not a free variable.
Show detailed help on the specified command Cmd (shows help of the command group)