[][src]Crate move_prover

Modules

cli

Functionality related to the command line interface of the Move prover.

Functions

run_move_prover
run_move_prover_errors_to_stderr