Extern types

• RangeCheck

• SegmentArena

• felt252

• RangeCheck96

• AddMod

• MulMod

• CircuitModulus

• Circuit

• CircuitInput

• Box

• Nullable

• Array

• Felt252Dict

• SquashedFelt252Dict

• Felt252DictEntry

• EcOp

• EcPoint

• EcState

• u128

• U128MulGuarantee

• Bitwise

• u8

• u16

• u32

• u64

• i8

• i16

• i32

• i64

• i128

• BuiltinCosts

• GasBuiltin

• Sha256StateHandle

• Pedersen

• Poseidon

• System

• starknet::storage_access::StorageAddress

• starknet::contract_address::ContractAddress

• starknet::class_hash::ClassHash

• starknet::storage_access::StorageAddress

• StorageBaseAddress

• Secp256k1Point

• Secp256r1Point

• starknet::contract_address::ContractAddress

• starknet::class_hash::ClassHash

• BoundedInt

• NonZero

• bytes31