Chapter 15 : Addresses

Casting

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

let a: int = int(1 as nat);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" as 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

1 let purchase = (purchase_price : tez) : bool => { 2 // Type your solution below 3 return true; 4 };