Contract 6ad1439a0e8a63f2054dba8caf49209285a264495df5ef501b22c618b220d470

fn cast_vote(
    env: soroban_sdk::Env,
    student_address: soroban_sdk::Address,
    proposal_id: u64,
    support: bool,
    vote_weight: i128,
)

fn initialize(
    env: soroban_sdk::Env,
    admin: soroban_sdk::Address,
    token_address: soroban_sdk::Address,
)

fn create_proposal(
    env: soroban_sdk::Env,
    student_address: soroban_sdk::Address,
    description: soroban_sdk::String,
    requested_funds: i128,
    duration_ledgers: u32,
) -> u64

fn execute_proposal(
    env: soroban_sdk::Env,
    executor: soroban_sdk::Address,
    proposal_id: u64,
)

fn revoke_credential(
    env: soroban_sdk::Env,
    admin: soroban_sdk::Address,
    student_address: soroban_sdk::Address,
)

fn issue_student_credential(
    env: soroban_sdk::Env,
    admin: soroban_sdk::Address,
    student_address: soroban_sdk::Address,
)