Chapter 15 : Addresses

Casting

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

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

let 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

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