Function polyhorn_cli::cli

pub fn cli()

Entry point of the CLI that is used by the main polyhorn package. The polyhorn-cli package itself doesn't provide a binary. This is because we want to ship a library named polyhorn and a CLI with the same name (but different crates obviously can't share the same name). So instead, the library gets to be polyhorn and comes with a binary target that simply calls polyhorn_cli::cli().