sui_adapter_latest::static_programmable_transactions

Module typing

Source

Modules§

ast
invariant_checks
translate
verify

Functions§

translate_and_verify