scilla_version 0

contract AllByStrVariants
  (
    bystr32 : ByStr32,
    raw_address: ByStr20,
    library_address : ByStr20 with library end,
    contract_address : ByStr20 with contract end,
    detailed_contract_address :
      ByStr20 with contract
        field allowances : Map ByStr20 (Map ByStr20 Uint128),
        field balances : Map ByStr20 Uint128,
        field total_supply : Uint128
        end
  )