Structsยง
- Symbolic
AbiBuilder ๐ - Symbolic
AbiState ๐ - Symbolic
Calldata ๐ - Symbolic
Input ๐
Enumsยง
- Dynamic
Kind ๐ - Symbolic
AbiValue ๐
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.