slon2015

6e6f746502203bd0b9e60329f1813ec782833b0100000002f900000000000000000000000001f12903e6b9d03b2000013b8382c73e40420f00000000004d41535400000000275303120000007603035b100000000000000049315b04000000000000004601052231302d295b00000000ffffffff2230042d295b0c00000000000000480a48080b4208010c0c42080125242520e9816c2b688f1774295b08000000000000002f5b010000000000000021204d8e50b11fc34d9c2930040730480a48080b4208010c0c420829242551303030303004075b0400000000000000235b1000000000000000222c3004075b00000000ffffffff2230042d2930040730480a48080b4208010c0c420829242519303030305b08000000000000002c303030305b10000000000000002c0000000000000080933a503482e4a44e907e513945d133522d0d3031d4a9e2bd66d4027a2b01e99100000000000000304ae065b88a7e80c2b9e62967681871ebb41181dd1660ff0e89c29f0c85d3fa1f000000000000008076c4db8a33fd769575fe82459b8188ad9639acd51819abcf275c51249cd3a20b0a0000000000003038c340661b1fb744576717c8f651a3c4f0263bb368b35addebc3a331c59775b75700000000000030a5e180d30b84a51f0d0aeff127200fde3c176a975ba14ec42cca46cd1af3d2267f00000000000030d4caa8c964

slon2015

import counter_authorizer.aleo;

// The 'counter' program.
program counter.aleo {

    mapping counter_value: bool => u128;

    transition increase(access: counter_authorizer.aleo/Access) -> counter_authorizer.aleo/Access {
        let new_access: counter_authorizer.aleo/Access = counter_authorizer.aleo/check_access(access);