Skip to main content

Module abi

Module abi 

Source

Structsยง

SymbolicAbiBuilder ๐Ÿ”’
SymbolicAbiState ๐Ÿ”’
SymbolicCalldata ๐Ÿ”’
SymbolicInput ๐Ÿ”’

Enumsยง

DynamicKind ๐Ÿ”’
SymbolicAbiValue ๐Ÿ”’

Functionsยง

calldata_variant_limit ๐Ÿ”’
Returns the maximum number of calldata variants allowed during ABI expansion.
child_aliases ๐Ÿ”’
encode_dynamic_body ๐Ÿ”’
encode_packed_bytes_with_len ๐Ÿ”’
encode_sequence ๐Ÿ”’
encode_static ๐Ÿ”’
first_dynamic_length ๐Ÿ”’
push_variant ๐Ÿ”’
Adds one expansion variant while enforcing the configured symbolic path-width budget.
seed_model_bytes ๐Ÿ”’
seed_model_elements ๐Ÿ”’
validate_positional_dynamic_lengths ๐Ÿ”’
Validates that positional ABI length config can be consumed by at least one expanded variant.