List of all items

Structs

• debug_info::DebugInfo
• extensions::lib_func::BranchSignature
• extensions::lib_func::LibfuncSignature
• extensions::lib_func::OutputVarInfo
• extensions::lib_func::ParamSignature
• extensions::lib_func::SignatureAndTypeConcreteLibfunc
• extensions::lib_func::SignatureOnlyConcreteLibfunc
• extensions::lib_func::WrapSignatureAndTypeGenericLibfunc
• extensions::modules::ap_tracking::DisableApTrackingLibfunc
• extensions::modules::ap_tracking::EnableApTrackingLibfunc
• extensions::modules::ap_tracking::RevokeApTrackingLibfunc
• extensions::modules::array::ArrayAppendLibfuncWrapped
• extensions::modules::array::ArrayGetLibfuncWrapped
• extensions::modules::array::ArrayLenLibfuncWrapped
• extensions::modules::array::ArrayNewLibfunc
• extensions::modules::array::ArrayPopFrontConsumeLibfuncWrapped
• extensions::modules::array::ArrayPopFrontLibfuncWrapped
• extensions::modules::array::ArraySliceLibfuncWrapped
• extensions::modules::array::ArraySnapshotPopBackLibfuncWrapped
• extensions::modules::array::ArraySnapshotPopFrontLibfuncWrapped
• extensions::modules::array::ArrayTypeWrapped
• extensions::modules::bitwise::BitwiseType
• extensions::modules::boolean::BoolAndLibfunc
• extensions::modules::boolean::BoolNotLibfunc
• extensions::modules::boolean::BoolOrLibfunc
• extensions::modules::boolean::BoolToFelt252Libfunc
• extensions::modules::boolean::BoolXorLibfunc
• extensions::modules::boxing::BoxTypeWrapped
• extensions::modules::boxing::IntoBoxLibfuncWrapped
• extensions::modules::boxing::UnboxLibfuncWrapped
• extensions::modules::branch_align::BranchAlignLibfunc
• extensions::modules::bytes31::Bytes31ConstLibfuncWrapped
• extensions::modules::bytes31::Bytes31FromFelt252Trait
• extensions::modules::bytes31::Bytes31ToFelt252Libfunc
• extensions::modules::bytes31::Bytes31Type
• extensions::modules::casts::DowncastConcreteLibfunc
• extensions::modules::casts::DowncastLibfunc
• extensions::modules::casts::UpcastLibfunc
• extensions::modules::consts::SignatureAndConstConcreteLibfunc
• extensions::modules::consts::WrapConstGenLibfunc
• extensions::modules::debug::PrintLibfunc
• extensions::modules::drop::DropLibfunc
• extensions::modules::duplicate::DupLibfunc
• extensions::modules::ec::EcCreatePointLibfunc
• extensions::modules::ec::EcIsZeroLibfunc
• extensions::modules::ec::EcNegLibfunc
• extensions::modules::ec::EcOpType
• extensions::modules::ec::EcPointFromXLibfunc
• extensions::modules::ec::EcPointType
• extensions::modules::ec::EcStateAddLibfunc
• extensions::modules::ec::EcStateAddMulLibfunc
• extensions::modules::ec::EcStateFinalizeLibfunc
• extensions::modules::ec::EcStateInitLibfunc
• extensions::modules::ec::EcStateType
• extensions::modules::ec::EcUnwrapPointLibfunc
• extensions::modules::ec::EcZeroLibfunc
• extensions::modules::enm::EnumConcreteType
• extensions::modules::enm::EnumInitConcreteLibfunc
• extensions::modules::enm::EnumInitLibfunc
• extensions::modules::enm::EnumMatchLibfunc
• extensions::modules::enm::EnumSnapshotMatchLibfunc
• extensions::modules::enm::EnumType
• extensions::modules::felt252::Felt252BinaryOpConcreteLibfunc
• extensions::modules::felt252::Felt252BinaryOperationWithConstLibfunc
• extensions::modules::felt252::Felt252BinaryOperationWithVarLibfunc
• extensions::modules::felt252::Felt252ConstConcreteLibfunc
• extensions::modules::felt252::Felt252ConstLibfunc
• extensions::modules::felt252::Felt252OperationWithConstConcreteLibfunc
• extensions::modules::felt252::Felt252Traits
• extensions::modules::felt252::Felt252Type
• extensions::modules::felt252_dict::Felt252DictEntryFinalizeLibfuncWrapped
• extensions::modules::felt252_dict::Felt252DictEntryGetLibfuncWrapped
• extensions::modules::felt252_dict::Felt252DictEntryTypeWrapped
• extensions::modules::felt252_dict::Felt252DictNewLibfunc
• extensions::modules::felt252_dict::Felt252DictSquashLibfunc
• extensions::modules::felt252_dict::Felt252DictTypeWrapped
• extensions::modules::function_call::FunctionCallConcreteLibfunc
• extensions::modules::function_call::FunctionCallLibfunc
• extensions::modules::gas::BuiltinCostGetBuiltinCostsLibfunc
• extensions::modules::gas::BuiltinCostWithdrawGasLibfunc
• extensions::modules::gas::BuiltinCostsType
• extensions::modules::gas::GasBuiltinType
• extensions::modules::gas::GetAvailableGasLibfunc
• extensions::modules::gas::RedepositGasLibfunc
• extensions::modules::gas::WithdrawGasLibfunc
• extensions::modules::int::IntConstConcreteLibfunc
• extensions::modules::int::IntConstLibfunc
• extensions::modules::int::IntEqualLibfunc
• extensions::modules::int::IntFromFelt252Trait
• extensions::modules::int::IntToFelt252Libfunc
• extensions::modules::int::IntType
• extensions::modules::int::IntWideMulLibfunc
• extensions::modules::int::signed128::Sint128Traits
• extensions::modules::int::signed::Sint16Traits
• extensions::modules::int::signed::Sint32Traits
• extensions::modules::int::signed::Sint64Traits
• extensions::modules::int::signed::Sint8Traits
• extensions::modules::int::unsigned128::U128ByteReverseLibfunc
• extensions::modules::int::unsigned128::U128GuaranteeMulLibfunc
• extensions::modules::int::unsigned128::U128MulGuaranteeType
• extensions::modules::int::unsigned128::U128MulGuaranteeVerifyLibfunc
• extensions::modules::int::unsigned128::Uint128Traits
• extensions::modules::int::unsigned128::Uint128sFromFelt252Libfunc
• extensions::modules::int::unsigned256::Uint256DivmodLibfunc
• extensions::modules::int::unsigned256::Uint256IsZeroLibfunc
• extensions::modules::int::unsigned256::Uint256SquareRootLibfunc
• extensions::modules::int::unsigned512::Uint512DivmodU256Libfunc
• extensions::modules::int::unsigned::Uint16Traits
• extensions::modules::int::unsigned::Uint32Traits
• extensions::modules::int::unsigned::Uint64Traits
• extensions::modules::int::unsigned::Uint8Traits
• extensions::modules::int::unsigned::UintBitwiseLibfunc
• extensions::modules::int::unsigned::UintDivmodLibfunc
• extensions::modules::int::unsigned::UintOperationConcreteLibfunc
• extensions::modules::int::unsigned::UintOperationLibfunc
• extensions::modules::int::unsigned::UintSquareRootLibfunc
• extensions::modules::is_zero::IsZeroLibfunc
• extensions::modules::mem::AllocLocalLibfuncWrapped
• extensions::modules::mem::FinalizeLocalsLibfunc
• extensions::modules::mem::RenameLibfunc
• extensions::modules::mem::StoreLocalLibfuncWrapped
• extensions::modules::mem::StoreTempLibfuncWrapped
• extensions::modules::non_zero::NonZeroTypeWrapped
• extensions::modules::non_zero::UnwrapNonZeroLibfunc
• extensions::modules::nullable::MatchNullableLibfuncWrapped
• extensions::modules::nullable::NullLibfunc
• extensions::modules::nullable::NullableConcreteType
• extensions::modules::nullable::NullableFromBoxLibfuncWrapped
• extensions::modules::nullable::NullableTypeWrapped
• extensions::modules::pedersen::PedersenHashLibfunc
• extensions::modules::pedersen::PedersenType
• extensions::modules::poseidon::HadesPermutationLibfunc
• extensions::modules::poseidon::PoseidonType
• extensions::modules::range_check::RangeCheckType
• extensions::modules::segment_arena::SegmentArenaType
• extensions::modules::snapshot::SnapshotTakeLibfunc
• extensions::modules::snapshot::SnapshotTypeWrapped
• extensions::modules::span::SpanTypeWrapped
• extensions::modules::squashed_felt252_dict::SquashedFelt252DictTypeWrapped
• extensions::modules::starknet::emit_event::EmitEventLibfunc
• extensions::modules::starknet::getter::GetExecutionInfoTrait
• extensions::modules::starknet::getter::GetterLibfunc
• extensions::modules::starknet::interoperability::CallContractLibfunc
• extensions::modules::starknet::interoperability::ClassHashConstLibfuncWrapped
• extensions::modules::starknet::interoperability::ClassHashToFelt252Libfunc
• extensions::modules::starknet::interoperability::ClassHashTryFromFelt252Trait
• extensions::modules::starknet::interoperability::ClassHashType
• extensions::modules::starknet::interoperability::ContractAddressConstLibfuncWrapped
• extensions::modules::starknet::interoperability::ContractAddressToFelt252Libfunc
• extensions::modules::starknet::interoperability::ContractAddressTryFromFelt252Libfunc
• extensions::modules::starknet::interoperability::ContractAddressType
• extensions::modules::starknet::interoperability::DeployLibfunc
• extensions::modules::starknet::interoperability::LibraryCallLibfunc
• extensions::modules::starknet::interoperability::SendMessageToL1Libfunc
• extensions::modules::starknet::secp256::Secp256AddLibfunc
• extensions::modules::starknet::secp256::Secp256GetPointFromXLibfunc
• extensions::modules::starknet::secp256::Secp256GetXyLibfunc
• extensions::modules::starknet::secp256::Secp256MulLibfunc
• extensions::modules::starknet::secp256::Secp256NewLibfunc
• extensions::modules::starknet::secp256k1::Secp256k1
• extensions::modules::starknet::secp256k1::Secp256k1PointType
• extensions::modules::starknet::secp256r1::Secp256r1
• extensions::modules::starknet::secp256r1::Secp256r1PointType
• extensions::modules::starknet::storage::GetBlockHashLibfunc
• extensions::modules::starknet::storage::StorageAddressFromBaseAndOffsetLibfunc
• extensions::modules::starknet::storage::StorageAddressFromBaseLibfunc
• extensions::modules::starknet::storage::StorageAddressToFelt252Libfunc
• extensions::modules::starknet::storage::StorageAddressTryFromFelt252Trait
• extensions::modules::starknet::storage::StorageAddressType
• extensions::modules::starknet::storage::StorageBaseAddressConstLibfuncWrapped
• extensions::modules::starknet::storage::StorageBaseAddressFromFelt252Libfunc
• extensions::modules::starknet::storage::StorageBaseAddressType
• extensions::modules::starknet::storage::StorageReadLibfunc
• extensions::modules::starknet::storage::StorageWriteLibfunc
• extensions::modules::starknet::syscalls::KeccakLibfunc
• extensions::modules::starknet::syscalls::ReplaceClassLibfunc
• extensions::modules::starknet::syscalls::SystemType
• extensions::modules::starknet::testing::CheatcodeConcreteLibfunc
• extensions::modules::starknet::testing::CheatcodeLibfunc
• extensions::modules::structure::StructConcreteType
• extensions::modules::structure::StructConstructLibfunc
• extensions::modules::structure::StructDeconstructLibfunc
• extensions::modules::structure::StructSnapshotDeconstructLibfunc
• extensions::modules::structure::StructType
• extensions::modules::try_from_felt252::TryFromFelt252Libfunc
• extensions::modules::unconditional_jump::UnconditionalJumpLibfunc
• extensions::modules::uninitialized::UninitializedTypeWrapped
• extensions::types::GenericTypeArgGenericTypeWrapper
• extensions::types::InfoAndTypeConcreteType
• extensions::types::InfoOnlyConcreteType
• extensions::types::TypeInfo
• ids::ConcreteLibfuncId
• ids::ConcreteTypeId
• ids::FunctionId
• ids::GenericLibfuncId
• ids::GenericTypeId
• ids::UserTypeId
• ids::VarId
• program::ConcreteLibfuncLongId
• program::ConcreteTypeLongId
• program::DeclaredTypeInfo
• program::FunctionSignature
• program::GenBranchInfo
• program::GenFunction
• program::GenInvocation
• program::LibfuncDeclaration
• program::Param
• program::Program
• program::StatementIdx
• program::TypeDeclaration
• program_registry::ProgramRegistry
• program_registry::SpecializationContextForRegistry

Enums

• edit_state::EditStateError
• extensions::core::CoreConcreteLibfunc
• extensions::core::CoreLibfunc
• extensions::core::CoreType
• extensions::core::CoreTypeConcrete
• extensions::error::ExtensionError
• extensions::error::SpecializationError
• extensions::lib_func::DeferredOutputKind
• extensions::lib_func::OutputVarReferenceInfo
• extensions::lib_func::SierraApChange
• extensions::modules::ap_tracking::ApTrackingConcreteLibfunc
• extensions::modules::ap_tracking::ApTrackingLibfunc
• extensions::modules::array::ArrayConcreteLibfunc
• extensions::modules::array::ArrayLibfunc
• extensions::modules::boolean::BoolConcreteLibfunc
• extensions::modules::boolean::BoolLibfunc
• extensions::modules::boxing::BoxConcreteLibfunc
• extensions::modules::boxing::BoxLibfunc
• extensions::modules::bytes31::Bytes31ConcreteLibfunc
• extensions::modules::bytes31::Bytes31Libfunc
• extensions::modules::casts::CastConcreteLibfunc
• extensions::modules::casts::CastLibfunc
• extensions::modules::debug::DebugConcreteLibfunc
• extensions::modules::debug::DebugLibfunc
• extensions::modules::ec::EcConcreteLibfunc
• extensions::modules::ec::EcLibfunc
• extensions::modules::enm::EnumConcreteLibfunc
• extensions::modules::enm::EnumLibfunc
• extensions::modules::felt252::Felt252BinaryOperationConcrete
• extensions::modules::felt252::Felt252BinaryOperationLibfunc
• extensions::modules::felt252::Felt252BinaryOperator
• extensions::modules::felt252::Felt252Concrete
• extensions::modules::felt252::Felt252Libfunc
• extensions::modules::felt252_dict::Felt252DictConcreteLibfunc
• extensions::modules::felt252_dict::Felt252DictEntryConcreteLibfunc
• extensions::modules::felt252_dict::Felt252DictEntryLibfunc
• extensions::modules::felt252_dict::Felt252DictLibfunc
• extensions::modules::gas::CostTokenType
• extensions::modules::gas::GasConcreteLibfunc
• extensions::modules::gas::GasLibfunc
• extensions::modules::int::IntOperator
• extensions::modules::int::signed128::Sint128Concrete
• extensions::modules::int::signed128::Sint128Libfunc
• extensions::modules::int::signed::SintConcrete
• extensions::modules::int::signed::SintLibfunc
• extensions::modules::int::unsigned128::Uint128Concrete
• extensions::modules::int::unsigned128::Uint128Libfunc
• extensions::modules::int::unsigned256::Uint256Concrete
• extensions::modules::int::unsigned256::Uint256Libfunc
• extensions::modules::int::unsigned512::Uint512Concrete
• extensions::modules::int::unsigned512::Uint512Libfunc
• extensions::modules::int::unsigned::UintConcrete
• extensions::modules::int::unsigned::UintLibfunc
• extensions::modules::mem::MemConcreteLibfunc
• extensions::modules::mem::MemLibfunc
• extensions::modules::nullable::NullableConcreteLibfunc
• extensions::modules::nullable::NullableLibfunc
• extensions::modules::pedersen::PedersenConcreteLibfunc
• extensions::modules::pedersen::PedersenLibfunc
• extensions::modules::poseidon::PoseidonConcreteLibfunc
• extensions::modules::poseidon::PoseidonLibfunc
• extensions::modules::starknet::StarkNetConcreteLibfunc
• extensions::modules::starknet::StarkNetLibfunc
• extensions::modules::starknet::StarkNetType
• extensions::modules::starknet::StarkNetTypeConcrete
• extensions::modules::starknet::secp256::Secp256ConcreteLibfunc
• extensions::modules::starknet::secp256::Secp256Libfunc
• extensions::modules::starknet::secp256::Secp256OpConcreteLibfunc
• extensions::modules::starknet::secp256::Secp256OpLibfunc
• extensions::modules::starknet::secp256::Secp256PointType
• extensions::modules::starknet::secp256::Secp256PointTypeConcrete
• extensions::modules::starknet::testing::TestingConcreteLibfunc
• extensions::modules::starknet::testing::TestingLibfunc
• extensions::modules::structure::StructConcreteLibfunc
• extensions::modules::structure::StructLibfunc
• program::GenBranchTarget
• program::GenStatement
• program::GenericArg
• program_registry::ProgramRegistryError
• simulation::LibfuncSimulationError
• simulation::SimulationError
• simulation::value::CoreValue

Traits

• debug_info::IdAsHashKey
• extensions::lib_func::ConcreteLibfunc
• extensions::lib_func::GenericLibfunc
• extensions::lib_func::GenericLibfuncEx
• extensions::lib_func::NamedLibfunc
• extensions::lib_func::NoGenericArgsGenericLibfunc
• extensions::lib_func::SignatureAndTypeGenericLibfunc
• extensions::lib_func::SignatureBasedConcreteLibfunc
• extensions::lib_func::SignatureOnlyGenericLibfunc
• extensions::lib_func::SignatureSpecializationContext
• extensions::lib_func::SpecializationContext
• extensions::modules::consts::ConstGenLibfunc
• extensions::modules::int::IntMulTraits
• extensions::modules::int::IntTraits
• extensions::modules::int::signed::SintTraits
• extensions::modules::int::unsigned::UintTraits
• extensions::modules::is_zero::IsZeroTraits
• extensions::modules::starknet::getter::GetterTraits
• extensions::modules::starknet::getter::GetterTraitsEx
• extensions::modules::starknet::secp256::Secp256Trait
• extensions::modules::starknet::syscalls::SyscallGenericLibfunc
• extensions::modules::try_from_felt252::TryFromFelt252
• extensions::type_specialization_context::TypeSpecializationContext
• extensions::types::ConcreteType
• extensions::types::GenericType
• extensions::types::GenericTypeArgGenericType
• extensions::types::GenericTypeEx
• extensions::types::NamedType
• extensions::types::NoGenericArgsGenericType

Macros

• define_concrete_libfunc_hierarchy
• define_libfunc_hierarchy
• define_type_hierarchy

Functions

• edit_state::put_results
• edit_state::take_args
• extensions::modules::non_zero::nonzero_ty
• extensions::modules::snapshot::snapshot_ty
• extensions::modules::starknet::getter::boxed_ty
• extensions::modules::utils::reinterpret_cast_signature
• simulation::core::simulate
• simulation::run

Type Aliases

• ConcreteLibfuncLongIdParser
• ConcreteTypeLongIdParser
• ProgramParser
• extensions::modules::array::ArrayAppendLibfunc
• extensions::modules::array::ArrayGetLibfunc
• extensions::modules::array::ArrayLenLibfunc
• extensions::modules::array::ArrayPopFrontConsumeLibfunc
• extensions::modules::array::ArrayPopFrontLibfunc
• extensions::modules::array::ArraySliceLibfunc
• extensions::modules::array::ArraySnapshotPopBackLibfunc
• extensions::modules::array::ArraySnapshotPopFrontLibfunc
• extensions::modules::array::ArrayType
• extensions::modules::boxing::BoxType
• extensions::modules::boxing::IntoBoxLibfunc
• extensions::modules::boxing::UnboxLibfunc
• extensions::modules::bytes31::Bytes31ConstLibfunc
• extensions::modules::felt252::Felt252JumpNotZeroLibfunc
• extensions::modules::felt252_dict::Felt252DictEntryFinalizeLibfunc
• extensions::modules::felt252_dict::Felt252DictEntryGetLibfunc
• extensions::modules::felt252_dict::Felt252DictEntryType
• extensions::modules::felt252_dict::Felt252DictType
• extensions::modules::int::IntFromFelt252Libfunc
• extensions::modules::int::signed128::Sint128Type
• extensions::modules::int::signed::Sint16Concrete
• extensions::modules::int::signed::Sint16Libfunc
• extensions::modules::int::signed::Sint16Type
• extensions::modules::int::signed::Sint32Concrete
• extensions::modules::int::signed::Sint32Libfunc
• extensions::modules::int::signed::Sint32Type
• extensions::modules::int::signed::Sint64Concrete
• extensions::modules::int::signed::Sint64Libfunc
• extensions::modules::int::signed::Sint64Type
• extensions::modules::int::signed::Sint8Concrete
• extensions::modules::int::signed::Sint8Libfunc
• extensions::modules::int::signed::Sint8Type
• extensions::modules::int::unsigned128::Uint128Type
• extensions::modules::int::unsigned::Uint16Concrete
• extensions::modules::int::unsigned::Uint16Libfunc
• extensions::modules::int::unsigned::Uint16Type
• extensions::modules::int::unsigned::Uint32Concrete
• extensions::modules::int::unsigned::Uint32Libfunc
• extensions::modules::int::unsigned::Uint32Type
• extensions::modules::int::unsigned::Uint64Concrete
• extensions::modules::int::unsigned::Uint64Libfunc
• extensions::modules::int::unsigned::Uint64Type
• extensions::modules::int::unsigned::Uint8Concrete
• extensions::modules::int::unsigned::Uint8Libfunc
• extensions::modules::int::unsigned::Uint8Type
• extensions::modules::mem::AllocLocalLibfunc
• extensions::modules::mem::StoreLocalLibfunc
• extensions::modules::mem::StoreTempLibfunc
• extensions::modules::non_zero::NonZeroType
• extensions::modules::nullable::MatchNullableLibfunc
• extensions::modules::nullable::NullableFromBoxLibfunc
• extensions::modules::nullable::NullableType
• extensions::modules::snapshot::SnapshotType
• extensions::modules::span::SpanType
• extensions::modules::squashed_felt252_dict::SquashedFelt252DictType
• extensions::modules::starknet::interoperability::ClassHashConstLibfunc
• extensions::modules::starknet::interoperability::ContractAddressConstLibfunc
• extensions::modules::starknet::storage::StorageBaseAddressConstLibfunc
• extensions::modules::uninitialized::UninitializedType
• program::BranchInfo
• program::BranchTarget
• program::Function
• program::Invocation
• program::Statement