Enum LinkLibraryKind 

pub enum LinkLibraryKind {
    Dynamic,
    Static,
}

Represents how a library should be linked into the assembled MAST

Variants

Dynamic

A dynamically-linked library.

References to symbols of dynamically-linked libraries expect to have those symbols resolved at runtime, i.e. it is expected that the library was loaded (or will be loaded on-demand), and that the referenced symbol is resolvable by the VM.

Concretely, the digest corresponding to a referenced procedure symbol will be linked as a miden_core::mast::ExternalNode, rather than including the procedure in the assembled MAST, and referencing the procedure via miden_core::mast::MastNodeId.

Static

A statically-linked library.

References to symbols of statically-linked libraries expect to be resolvable by the linker, during assembly, i.e. it is expected that the library was provided to the assembler/linker as an input, and that the entire definition of the referenced symbol is available.

Concretely, a statically linked procedure will have its root, and all reachable nodes found in the MAST of the library, included in the assembled MAST, and referenced via miden_core::mast::MastNodeId.

Statically linked symbols are thus merged into the assembled artifact as if they had been defined in your own project, and the library they were originally defined in will not be required to be provided at runtime, as is the case with dynamically-linked libraries.

Trait Implementations

impl Clone for LinkLibraryKind

fn clone(&self) -> LinkLibraryKind

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for LinkLibraryKind

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for LinkLibraryKind

fn default() -> LinkLibraryKind

Returns the “default value” for a type.

impl Hash for LinkLibraryKind

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for LinkLibraryKind

fn eq(&self, other: &LinkLibraryKind) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for LinkLibraryKind

impl Eq for LinkLibraryKind

impl StructuralPartialEq for LinkLibraryKind