Address

let get_balance: (_: address) => mav

let to_typed_address: <a, b>(_: address) => typed_address<a, b>

let get_storage: <b>(_: address) => b