Contract 08dcb1dbb7a2dab1ed76e621dcac0cc7ca9d2457b6133fe0c9570772268df4d5

fn __constructor(
    env: soroban_sdk::Env,
    admin: soroban_sdk::Address,
    token: soroban_sdk::Address,
)

fn upgrade(env: soroban_sdk::Env, wasm_hash: soroban_sdk::BytesN<32>)

fn deposit(
    env: soroban_sdk::Env,
    from: soroban_sdk::Address,
    amount: i128,
    nfc_contract: soroban_sdk::Address,
    token_id: u32,
)

fn redeem(
    env: soroban_sdk::Env,
    redeemer: soroban_sdk::Address,
    nfc_contract: soroban_sdk::Address,
    message: soroban_sdk::Bytes,
    signature: soroban_sdk::BytesN<64>,
    recovery_id: u32,
    public_key: soroban_sdk::BytesN<65>,
    nonce: u32,
)

fn get_redeemable(
    env: soroban_sdk::Env,
    chip_public_key: soroban_sdk::BytesN<65>,
) -> i128