Constant chalk::USAGE

source · []
pub(crate) const USAGE: &str = "
chalk repl

  chalk [options]
  chalk (-h | --help)

  --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.