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 (1)
⚠️ You will not see a transpilation error if the types are not compatible but the execution will fail.
Addresses
The address type in LIGO denotes Tezos addresses (tz1, tz2, tz3, KT1,…). Currently, addresses are created by casting a string to the address type. Beware of failures if the address is invalid. Consider the following examples.
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