fn fund(env: soroban_sdk::Env, from: soroban_sdk::Address, amount: i128)
fn cover(
env: soroban_sdk::Env,
caller: soroban_sdk::Address,
amount: i128,
to: soroban_sdk::Address,
) -> i128
fn model(env: soroban_sdk::Env) -> soroban_sdk::String
fn target(env: soroban_sdk::Env) -> i128
fn balance(env: soroban_sdk::Env) -> i128
fn surplus(env: soroban_sdk::Env) -> i128
fn authority(env: soroban_sdk::Env) -> soroban_sdk::Address
fn shortfall(env: soroban_sdk::Env) -> i128
fn claims_paid(env: soroban_sdk::Env) -> i128
fn is_adequate(env: soroban_sdk::Env) -> bool
fn __constructor(
env: soroban_sdk::Env,
authority: soroban_sdk::Address,
reserve_token: soroban_sdk::Address,
coverage_limit: i128,
)
fn reserve_token(env: soroban_sdk::Env) -> soroban_sdk::Address
fn set_authority(
env: soroban_sdk::Env,
caller: soroban_sdk::Address,
new_authority: soroban_sdk::Address,
)
fn coverage_limit(env: soroban_sdk::Env) -> i128
fn collect_premium(env: soroban_sdk::Env, from: soroban_sdk::Address, amount: i128)
fn withdraw_surplus(
env: soroban_sdk::Env,
caller: soroban_sdk::Address,
amount: i128,
to: soroban_sdk::Address,
)
fn premiums_collected(env: soroban_sdk::Env) -> i128
fn remaining_coverage(env: soroban_sdk::Env) -> i128
fn set_coverage_limit(
env: soroban_sdk::Env,
caller: soroban_sdk::Address,
coverage_limit: i128,
)