pub(crate) const USAGE: &str = "
chalk repl
Usage:
chalk [options]
chalk (-h | --help)
Options:
--help Show this screen.
--program=PATH Specifies the path to the `.chalk` file containing traits/impls.
--goal=GOAL Specifies a goal to evaluate (may be given more than once).
--overflow-depth=N Specifies the overflow depth [default: 10].
--multiple Output multiple answers instead of ambiguous solution.
--solver=S Specifies the solver to use. `slg` or `recursive`. Default is SLG.
";