Crate miden_mast_package 

This crate defines the Package type - the artifact produced as a result of assembling some Miden Asssembly code to MAST.

Modules

debug_info

Debug information sections for MASP packages.

Structs

ConstantExport

A constant definition exported by a package

Dependency

A package dependency

MastForest

Represents one or more procedures, represented as a collection of MastNodes.

Package

A package is a assembled artifact containing:

PackageId

A type that represents the unique identifier for packages in a registry.

PackageManifest

The manifest of a package, containing the set of package dependencies (libraries or packages) exported items (procedures, constants, types), and module surface information, if known.

PackageModule

Represents a module surface declared by a package.

PackageSubmodule

Represents a submodule declaration in a package module surface.

PathBuf

Path to an item in a library, i.e. module, procedure, constant or type.

ProcedureExport

A procedure exported by a package, along with its digest, signature, and attributes.

ProcedureName

Procedure name.

Program

An executable program for Miden VM.

QualifiedProcedureName

Represents a qualified procedure name, e.g. std::math::u64::add, parsed into it’s constituent Path and ProcedureName components.

Section

SectionId

A unique identifier for optional sections of the Miden package format

TypeExport

A named type declaration exported by a package

Version

SemVer version as defined by https://semver.org.

VersionError

Error parsing a SemVer version or version requirement.

Word

A unit of data consisting of 4 field elements.

Enums

InvalidSectionIdError

InvalidTargetTypeError

Error returned when trying to convert an integer/string to a valid TargetType

ManifestValidationError

PackageDebugInfoError

Errors raised while decoding trusted package-owned debug information.

PackageExport

Represents a named item exported from a package.

PackageStripError

Errors raised while stripping package-owned debug information.

TargetType

The type of a specific target provided by the current project