Module execution

Enums

• PrimitiveArgumentLayout
  Special enum for values that need additional validation, in other words There is validation to do on top of the BCS layout. Currently only needed for strings

Functions

• bcs_argument_validate
  Checks the bytes against the SpecialArgumentLayout using bcs. It does not actually generate the deserialized value, only walks the bytes. While not necessary if the layout does not contain special arguments (e.g. Option or String) we check the BCS bytes for predictability
• check_compatibility
• check_private_generics
• execute
• execute_inner
• fetch_package
• fetch_packages
• is_tx_context
• subst_signature
  substitutes the type arguments into the parameter and return types