FA12 store

FA12.ligo

type account is record
  balance: nat;
  allowances: map(address, nat);
end

type store is record
  owners: set(address);
  decimals: nat; // Added this property used in the erc20 ethereum specification
  symbol: string; // Added this property used in the erc20 ethereum specification
  name: string; // Added this property used in the erc20 ethereum specification
  totalSupply: nat;
  accounts: big_map(address, account);
end

type return is list(operation) * store;