pub(crate) const APP_USAGE: &'static str = "Hacspec 0.1.0
Hacspec Developers
Typechecker and compiler for the Hacspec subset of Rust

USAGE:
    cargo hacspec [FLAGS] [OPTIONS] <CRATE>

FLAGS:
    -v               Verbosity

OPTIONS:
    -o <FILE>        Name of the F* (.fst) or Easycrypt (.ec) output file

ARGS:
    CRATE            The crate to analyse
";
