You are an expert in writing code in many different languages. Your goal is to perform code completion for the following code, keeping in mind the rest of the code and the file meta data.
    Metadata details:
    filename: tx.rs
    path of file: ./repos/namada/crates/sdk/src
    
    the code of the file until where you have to start completion: //! SDK functions to construct different types of transactions

use std::borrow::Cow;
use std::collections::{BTreeMap, HashSet};
use std::fs::File;
use std::path::{Path, PathBuf};
use std::time::Duration;

use borsh::BorshSerialize;
use borsh_ext::BorshSerializeExt;
use masp_primitives::asset_type::AssetType;
use masp_primitives::transaction::builder;
use masp_primitives::transaction::builder::Builder;
use masp_primitives::transaction::components::sapling::fees::{
    ConvertView, InputView as SaplingInputView, OutputView as SaplingOutputView,
};
use masp_primitives::transaction::components::transparent::f
    
pub fn display_inner_resp(context: &impl Namada, resp: &TxResponse) {
    match resp.inner_tx_result() {
        InnerTxResult::Success(inner) => {
            display_line!(
                context.io(),
                "Transaction was successfully applied at height {}. Used {} \
                 gas.",
                resp.height,
                inner.gas_used,
            );
        }
        InnerTxResult::VpsRejected(inner) => {
            let changed_keys: Vec<_> = inner
                .changed_keys
                .iter()
                .map(storage::Key::to_string)
                .collect();
            edisplay_line!(
                context.io(),
                "Transaction was rejected by VPs: {}.\nChanged keys: {}",
                serde_json::to_string_pretty(&inner.vps_result.rejected_vps)
                    .unwrap(),
                serde_json::to_string_pretty(&changed_keys).unwrap(),
            );
        }
        InnerTxResult::OtherFailure => {
            edisplay_line!(
                context.io(),
                "Transaction failed.\nDetails: {}",
                serde_json::to_string_pretty(&resp).unwrap()
            );
        }
    }

    tracing::debug!(
        "Full result: {}",
        serde_json::to_string_pretty(&resp).unwrap()
    );
}