Module precompiles 

Functions

concrete_precompile_word_at 🔒

Returns the concrete_precompile_word_at precompile helper result.

execute_precompile 🔒

Computes the execute_precompile precompile helper result.

execute_symbolic_precompile 🔒

Computes the execute_symbolic_precompile precompile helper result.

input_has_symbolic_bytes 🔒

is_console 🔒

Returns whether is_console holds.

is_known_cheatcode 🔒

Returns whether is_known_cheatcode holds.

is_supported_precompile 🔒

Returns whether is_supported_precompile holds.

precompile_address 🔒

Returns the precompile_address precompile helper result.

precompile_number 🔒

Returns the precompile_number precompile helper result.

symbolic_fixed_len_precompile_output 🔒

Returns the symbolic_fixed_len_precompile_output precompile helper result.

symbolic_modexp_precompile 🔒

Returns the symbolic_modexp_precompile precompile helper result.