Module cli 

Structs

Cli

Global command line arguments.

CompletionArgs

GlobalArgs

Enums

Command

All subcommands of conjure-oxide

ShellTypes

Constants

DEBUG_HELP_HEADING 🔒

EXPERIMENTAL_HELP_HEADING 🔒

LOGGING_HELP_HEADING 🔒

OPTIMISATIONS_HELP_HEADING 🔒

Functions

parse_parser 🔒

parse_quantified_expander 🔒

parse_rewriter 🔒

parse_solver_family 🔒