pub fn translate_and_verify<Mode: ExecutionMode>(
meter: &mut TranslationMeter<'_, '_>,
env: &Env<'_, '_, '_, '_, '_, Mode>,
lt: Transaction,
) -> Result<Transaction, Mode::Error>pub fn translate_and_verify<Mode: ExecutionMode>(
meter: &mut TranslationMeter<'_, '_>,
env: &Env<'_, '_, '_, '_, '_, Mode>,
lt: Transaction,
) -> Result<Transaction, Mode::Error>