Pascal-Chapter Addresses

Chapter 15 : Addresses

The scan showed some unusual activity on the planet Osiris, it’s likely we will find Xenomorph activity there. We should gear up first. I suggest we stop by a weapon merchant. Here is the address.

Casting

You can cast a type into another type if you are sure they are compatible :

const a : int = int (1n)
const b : nat = abs (-3)

⚠️ You will not see a transpilation error if the types are not compatible but the execution will fail.

Addresses

You can define Tezos addresses by casting a string to an address type :

const my_account : address = (“tz1KqTpEZ7Yob7QbPE4Hy4Wo8fHG8LhKxZSx” : address)

⚠️ You will not see a transpilation error if the address you enter is wrong but the execution will fail.

Your mission

1- Define ship_address as tz1TGu6TN5GSez2ndXXeDX6LgUDvLzPLqgYV

2- Define vendor_address as tz1KqTpEZ7Yob7QbPE4Hy4Wo8fHG8LhKxZSx

AWAITING VALIDATION

Type your solution above and validate your answer