program token_1g6zcj.aleo;

record ArminToken:
    owner as address.private;
    amount as u64.private;

mapping supply_armin:
    key as u8.public;
    value as u64.public;

mapping programs_armin:
    key as field.public;
    value as u64.public;

function mint_armin:
    input r0 as address.private;
    input r1 as u64.private;
    lte r1 100000u64 into r2;
    assert.eq r2 true;
    cast r0 r1 into r3 as ArminToken.record;
    async mint_armin r1 into r4;
    output r3 as ArminToken.record;
    output r4 as token_1g6zcj.aleo/mint_armin.future;
finalize mint_armin:
    input r0 as u64.public;
    get.or_use supply_armin[0u8] 0u64 into r1;
    add r1 r0 into r2;
    lte r2 100000000000u64 into r3;
    assert.eq r3 true;
    set r2 into supply_armin[0u8];

function transfer_armin:
    input r0 as ArminToken.record;
    input r1 as address.private;
    input r2 as u64.private;
    sub r0.amount r2 into r3;
    cast r0.owner r3 into r4 as ArminToken.record;
    cast r1 r2 into r5 as ArminToken.record;
    output r4 as ArminToken.record;
    output r5 as ArminToken.record;

function transfer_armin_to_program:
    input r0 as ArminToken.record;
    input r1 as u64.private;
    sub r0.amount r1 into r2;
    cast r0.owner r2 into r3 as ArminToken.record;
    async transfer_armin_to_program r1 into r4;
    output r3 as ArminToken.record;
    output r4 as token_1g6zcj.aleo/transfer_armin_to_program.future;
finalize transfer_armin_to_program:
    input r0 as u64.public;
    hash.bhp256 0u8 into r1 as field;
    get.or_use programs_armin[r1] 0u64 into r2;
    add r2 r0 into r3;
    set r3 into programs_armin[r1];

function transfer_armin_from_program:
    input r0 as address.private;
    input r1 as u64.private;
    cast r0 r1 into r2 as ArminToken.record;
    async transfer_armin_from_program r1 into r3;
    output r2 as ArminToken.record;
    output r3 as token_1g6zcj.aleo/transfer_armin_from_program.future;
finalize transfer_armin_from_program:
    input r0 as u64.public;
    hash.bhp256 0u8 into r1 as field;
    get.or_use programs_armin[r1] 0u64 into r2;
    sub r2 r0 into r3;
    set r3 into programs_armin[r1];

Not implemented