fn initialize(
env: soroban_sdk::Env,
admin: soroban_sdk::Address,
token: soroban_sdk::Address,
) -> Result<(), soroban_sdk::Error>
fn create_envelope(
env: soroban_sdk::Env,
owner: soroban_sdk::Address,
envelope_id: u64,
) -> Result<(), soroban_sdk::Error>
fn allocate(
env: soroban_sdk::Env,
owner: soroban_sdk::Address,
envelope_id: u64,
amount: i128,
) -> Result
fn spend(
env: soroban_sdk::Env,
owner: soroban_sdk::Address,
envelope_id: u64,
amount: i128,
recipient: soroban_sdk::Address,
) -> Result
fn balance(env: soroban_sdk::Env, envelope_id: u64) -> i128
fn get_envelope(
env: soroban_sdk::Env,
envelope_id: u64,
) -> Result
fn get_token(env: soroban_sdk::Env) -> Result
fn get_admin(env: soroban_sdk::Env) -> Result