Function move_prover::check_errors
source · pub fn check_errors<W: WriteColor>(
env: &GlobalEnv,
options: &Options,
error_writer: &mut W,
msg: &'static str
) -> Result<()>pub fn check_errors<W: WriteColor>(
env: &GlobalEnv,
options: &Options,
error_writer: &mut W,
msg: &'static str
) -> Result<()>