Contract 0e3012f09bf529cd078575a457d1a1682aff1e7fe0d4f3e25c798c0622f13ef5

fn __constructor(
    env: soroban_sdk::Env,
    owner: soroban_sdk::Address,
    launchpad: soroban_sdk::Address,
)

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

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

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

fn get_config(env: soroban_sdk::Env) -> MigrationConfig

fn get_total_old_burned(env: soroban_sdk::Env) -> i128

fn get_total_new_distributed(env: soroban_sdk::Env) -> i128

fn preview_migration(env: soroban_sdk::Env, old_amount: i128) -> i128

fn initialize(
    env: soroban_sdk::Env,
    old_code: soroban_sdk::Bytes,
    old_issuer: soroban_sdk::Address,
    pool_id: u32,
    rate_numerator: i128,
    rate_denominator: i128,
) -> MigrationConfig

fn migrate(
    env: soroban_sdk::Env,
    user: soroban_sdk::Address,
    old_amount: i128,
    min_new_out: i128,
) -> i128