yallo_medium_1_using.yallo

yallo_medium_1_using.yallo

import "IToken.yallo";

const tokenContractAddress: address = @KT1ThEdxfUcWUwqsdergy3QnbCWGHSUHeHJq;

contract usingAToken {
    field bal: nat;

    entry checkBalance(a: address) {
        [IToken.of(tokenContractAddress).getBalance(a, this.checkBalanceCallback)]
    }

    entry checkBalanceCallback(b: nat) {
        this.bal = b;
        []
    }
}