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