Module abi 

Structs

SymbolicAbiBuilder 🔒

SymbolicCalldata 🔒

SymbolicInput 🔒

Enums

DynamicKind 🔒

SymbolicAbiValue 🔒

Functions

calldata_variant_limit 🔒

Returns the maximum number of calldata variants allowed during ABI expansion.

child_aliases 🔒

Returns the child_aliases symbolic ABI helper result.

encode_packed_bytes_with_len 🔒

Implements the encode_packed_bytes_with_len symbolic ABI helper.

encode_sequence 🔒

Implements the encode_sequence symbolic ABI helper.

first_dynamic_length 🔒

Returns the first_dynamic_length symbolic ABI helper result.

push_variant 🔒

Adds one expansion variant while enforcing the configured symbolic path-width budget.

validate_positional_dynamic_lengths 🔒

Validates that positional ABI length config can be consumed by at least one expanded variant.