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.
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.
1- Define ship_address as tz1TGu6TN5GSez2ndXXeDX6LgUDvLzPLqgYV
2- Define vendor_address as tz1KqTpEZ7Yob7QbPE4Hy4Wo8fHG8LhKxZSx