Struct miden_core::code_blocks::Split
source · pub struct Split { /* private fields */ }
Expand description
A code block used to describe conditional execution.
When the VM executes a Split bock, either the true branch or the false branch of the block is
executed. Specifically, if the top of the stack is 1
, the true branch is executed, and if
the top of the stack is 0
, the false branch is executed. If the top of the stack is neither
0
nor 1
, the program fails.
Hash of a Split block is computed by hashing a concatenation of the true and the false branch hashes.
Implementations
Trait Implementations
Auto Trait Implementations
impl RefUnwindSafe for Split
impl Send for Split
impl Sync for Split
impl Unpin for Split
impl UnwindSafe for Split
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more