sui_adapter_latest::static_programmable_transactions::typing::verify

Module drop_safety

Source

Functionsยง

refine_and_verify
Refines usage of values so that the last Copy of a value is a Move if it is not borrowed After, it verifies the following