Struct miden_core::code_blocks::Join

pub struct Join { /* private fields */ }

A code block used to combine two other code blocks.

When the VM executes a Join block, it executes joined blocks in sequence one after the other.

Hash of a Join block is computed by hashing a concatenation of the hashes of joined blocks.

Implementations

impl Join

pub const DOMAIN: Felt = _

The domain of the join block (used for control block hashing).

pub fn new(body: [CodeBlock; 2]) -> Self

Returns a new Join block instantiated with the specified code blocks.

pub fn hash(&self) -> Digest

Returns a hash of this code block.

pub fn first(&self) -> &CodeBlock

Returns a reference to the code block which is to be executed first when this join block is executed.

pub fn second(&self) -> &CodeBlock

Returns a reference to the code block which is to be executed second when this join block is executed.

Trait Implementations

impl Clone for Join

fn clone(&self) -> Join

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Join

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

Formats the value using the given formatter.

impl Display for Join

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

Formats the value using the given formatter.