Module debug_info 

Debug information sections for MASP packages.

This module provides types for encoding source-level debug information in the debug_types, debug_sources, and debug_functions custom sections of a MASP package. This information is used by debuggers to map between the Miden VM execution state and the original source code.

Structs

DebugFieldInfo

Field information within a struct type.

DebugFileInfo

Source file information.

DebugFunctionInfo

Debug information for a function.

DebugFunctionsSection

Debug functions section containing function metadata, variables, and inlined calls.

DebugInlinedCallInfo

Debug information for an inlined function call.

DebugSourcesSection

Debug sources section containing source file paths and checksums.

DebugTypeIdx

A strongly-typed index into the type table of a DebugTypesSection.

DebugTypesSection

Debug types section containing type definitions for a MASP package.

DebugVariableInfo

Debug information for a local variable or parameter.

Enums

DebugPrimitiveType

Primitive type variants supported by the debug info format.

DebugTypeInfo

Type information for debug purposes.

Constants

DEBUG_FUNCTIONS_VERSION

The version of the debug_functions section format.

DEBUG_SOURCES_VERSION

The version of the debug_sources section format.

DEBUG_TYPES_VERSION

The version of the debug_types section format.