fn payout(env: soroban_sdk::Env, policy_id: u32)
fn deposit(env: soroban_sdk::Env, user: soroban_sdk::Address, amount: i128)
fn initialize(
env: soroban_sdk::Env,
admin: soroban_sdk::Address,
token: soroban_sdk::Address,
vc_registry: soroban_sdk::Address,
)
fn get_balance(env: soroban_sdk::Env, user: soroban_sdk::Address) -> i128
fn register_policy(
env: soroban_sdk::Env,
holder: soroban_sdk::Address,
premium: i128,
coverage: i128,
duration_ledgers: u32,
) -> u32