pub fn jump(&self, block: &Block) -> Result<(), Error> {
        self.mark_control(block)?;

        *self.inner.term.borrow_mut() = Term::Jump { block: block.id() };
        Ok(())
    }
/// Perform an unconditional jump to the given block with the specified
/// inputs.
Perform an unconditional jump to the given block with the specified
inputs.
Perform an unconditional jump to the given block with the specified inputs .
pub fn jump(&self, block: &Block) -> Result<(), Error> {
        self.mark_control(block)?;
        *self.inner.term.borrow_mut() = Term::Jump { block: block.id() };
        Ok(())
    }
pub fn jump ( & self , block : & Block ) -> Result < ( ) , Error > { self . mark_control ( block ) ? ; * self . inner . term . borrow_mut ( ) = Term :: Jump { block : block . id ( ) } ; Ok ( ( ) ) }
Perform an unconditional jump to the given block with the specified
inputs.
Perform an unconditional jump to the given block with the specified inputs .
&self
block
&Block
&self
block
&Block