Type Definition soroban_sdk::xdr::Uint64

pub type Uint64 = u64;