pub fn transaction(
meter: &mut TranslationMeter<'_, '_>,
env: &Env<'_, '_, '_, '_>,
pt: ProgrammableTransaction,
) -> Result<Transaction, ExecutionError>pub fn transaction(
meter: &mut TranslationMeter<'_, '_>,
env: &Env<'_, '_, '_, '_>,
pt: ProgrammableTransaction,
) -> Result<Transaction, ExecutionError>