Contract 9e24f625773755d15c423c391ef797b1ba30ee7e83456a42dfdc176468fb956a

fn pause(env: soroban_sdk::Env, caller: soroban_sdk::Address)

fn is_open(env: soroban_sdk::Env, account: soroban_sdk::BytesN<32>) -> bool

fn repayer(env: soroban_sdk::Env) -> Option

fn sell_to(
    env: soroban_sdk::Env,
    caller: soroban_sdk::Address,
    account: soroban_sdk::BytesN<32>,
    buyer: soroban_sdk::Address,
)

fn unpause(env: soroban_sdk::Env, caller: soroban_sdk::Address)

fn floor_of(env: soroban_sdk::Env, account: soroban_sdk::BytesN<32>) -> i128

fn price_of(env: soroban_sdk::Env, account: soroban_sdk::BytesN<32>) -> i128

fn withdraw(
    env: soroban_sdk::Env,
    caller: soroban_sdk::Address,
    token: soroban_sdk::Address,
    receiver: soroban_sdk::Address,
)

fn authority(env: soroban_sdk::Env) -> soroban_sdk::Address

fn is_paused(env: soroban_sdk::Env) -> bool

fn auction_of(env: soroban_sdk::Env, account: soroban_sdk::BytesN<32>) -> Option

fn set_repayer(
    env: soroban_sdk::Env,
    caller: soroban_sdk::Address,
    repayer: Option,
)

fn consignor_of(
    env: soroban_sdk::Env,
    account: soroban_sdk::BytesN<32>,
) -> Option

fn withdrawable(
    env: soroban_sdk::Env,
    token: soroban_sdk::Address,
    account: soroban_sdk::Address,
) -> i128

fn __constructor(
    env: soroban_sdk::Env,
    authority: soroban_sdk::Address,
    credit_facility: soroban_sdk::Address,
    ddf: soroban_sdk::Address,
    auction_duration: u64,
    last_resort_buyer: soroban_sdk::Address,
    fee_collector: soroban_sdk::Address,
    default_haircut_bps: u32,
    min_haircut_floor_bps: u32,
    max_haircut_bps: u32,
)

fn fee_collector(env: soroban_sdk::Env) -> soroban_sdk::Address

fn set_authority(
    env: soroban_sdk::Env,
    caller: soroban_sdk::Address,
    new_authority: soroban_sdk::Address,
)

fn haircut_bps_of(env: soroban_sdk::Env, account: soroban_sdk::BytesN<32>) -> u32

fn oracle_mark_of(env: soroban_sdk::Env, account: soroban_sdk::BytesN<32>) -> i128

fn credit_facility(env: soroban_sdk::Env) -> soroban_sdk::Address

fn declare_default(
    env: soroban_sdk::Env,
    caller: soroban_sdk::Address,
    account: soroban_sdk::BytesN<32>,
)

fn max_haircut_bps(env: soroban_sdk::Env) -> u32

fn set_haircut_bps(
    env: soroban_sdk::Env,
    caller: soroban_sdk::Address,
    account: soroban_sdk::BytesN<32>,
    haircut_bps: u32,
)

fn auction_duration(env: soroban_sdk::Env) -> u64

fn is_allowed_buyer(env: soroban_sdk::Env, buyer: soroban_sdk::Address) -> bool

fn pending_owner_of(
    env: soroban_sdk::Env,
    account: soroban_sdk::BytesN<32>,
) -> Option

fn last_resort_buyer(env: soroban_sdk::Env) -> soroban_sdk::Address

fn set_allowed_buyer(
    env: soroban_sdk::Env,
    caller: soroban_sdk::Address,
    buyer: soroban_sdk::Address,
    allowed: bool,
)

fn set_fee_collector(
    env: soroban_sdk::Env,
    caller: soroban_sdk::Address,
    fee_collector: soroban_sdk::Address,
)

fn lender_interest_of(env: soroban_sdk::Env, account: soroban_sdk::BytesN<32>) -> i128

fn default_haircut_bps(env: soroban_sdk::Env) -> u32

fn sell_to_last_resort(
    env: soroban_sdk::Env,
    caller: soroban_sdk::Address,
    account: soroban_sdk::BytesN<32>,
)

fn set_lender_interest(
    env: soroban_sdk::Env,
    caller: soroban_sdk::Address,
    account: soroban_sdk::BytesN<32>,
    lender_interest: i128,
)

fn set_max_haircut_bps(
    env: soroban_sdk::Env,
    caller: soroban_sdk::Address,
    max_haircut_bps: u32,
)

fn claim_margin_account(
    env: soroban_sdk::Env,
    caller: soroban_sdk::Address,
    account: soroban_sdk::BytesN<32>,
    receiver: soroban_sdk::Address,
)

fn searcher_bonus_ratio(env: soroban_sdk::Env) -> u32

fn set_auction_duration(
    env: soroban_sdk::Env,
    caller: soroban_sdk::Address,
    auction_duration: u64,
)

fn min_haircut_floor_bps(env: soroban_sdk::Env) -> u32

fn set_last_resort_buyer(
    env: soroban_sdk::Env,
    caller: soroban_sdk::Address,
    last_resort_buyer: soroban_sdk::Address,
)

fn guarantee_advance_id_of(
    env: soroban_sdk::Env,
    account: soroban_sdk::BytesN<32>,
) -> u64

fn set_default_haircut_bps(
    env: soroban_sdk::Env,
    caller: soroban_sdk::Address,
    default_haircut_bps: u32,
)

fn set_guarantee_advance_id(
    env: soroban_sdk::Env,
    caller: soroban_sdk::Address,
    account: soroban_sdk::BytesN<32>,
    guarantee_advance_id: u64,
)

fn set_searcher_bonus_ratio(
    env: soroban_sdk::Env,
    caller: soroban_sdk::Address,
    searcher_bonus_ratio: u32,
)

fn set_min_haircut_floor_bps(
    env: soroban_sdk::Env,
    caller: soroban_sdk::Address,
    min_haircut_floor_bps: u32,
)

fn distressed_default_facility(env: soroban_sdk::Env) -> soroban_sdk::Address