LanguagetestnextaddressVersion: Nextaddresslet get_balance: (_: address) => mavlet to_typed_address: <a, b>(_: address) => typed_address<a, b>let get_storage: <b>(_: address) => b