fn __constructor(
env: soroban_sdk::Env,
user: soroban_sdk::Address,
controller: soroban_sdk::Address,
treasury: soroban_sdk::Address,
asset: soroban_sdk::Address,
)
fn user(env: soroban_sdk::Env) -> soroban_sdk::Address
fn balance(env: soroban_sdk::Env, token: soroban_sdk::Address) -> i128
fn spent(env: soroban_sdk::Env, token: soroban_sdk::Address) -> i128
fn all_spent(env: soroban_sdk::Env) -> soroban_sdk::Map
fn spend(env: soroban_sdk::Env, token: soroban_sdk::Address, amount: i128)
fn paymentf(env: soroban_sdk::Env, token: soroban_sdk::Address, amount: i128)
fn paymentc(env: soroban_sdk::Env, token: soroban_sdk::Address, amount: i128)
fn liquidate(env: soroban_sdk::Env, token: soroban_sdk::Address)
fn withdraw(env: soroban_sdk::Env, token: soroban_sdk::Address, amount: i128)
fn set_spent(env: soroban_sdk::Env, token: soroban_sdk::Address, amount: i128)
fn extend(env: soroban_sdk::Env)