pub fn return_(&self, var: Var) -> Result<(), Error> {
        let var = self.read(var)?;

        *self.inner.term.borrow_mut() = Term::Return { var };
        self.inner.global.mark_return(self.id());
        Ok(())
    }
/// Return from this the procedure this block belongs to.
Return from this the procedure this block belongs to.
Return from this the procedure this block belongs to .
pub fn return_(&self, var: Var) -> Result<(), Error> {
        let var = self.read(var)?;
        *self.inner.term.borrow_mut() = Term::Return { var };
        self.inner.global.mark_return(self.id());
        Ok(())
    }
pub fn return_ ( & self , var : Var ) -> Result < ( ) , Error > { let var = self . read ( var ) ? ; * self . inner . term . borrow_mut ( ) = Term :: Return { var } ; self . inner . global . mark_return ( self . id ( ) ) ; Ok ( ( ) ) }
Return from this the procedure this block belongs to.
Return from this the procedure this block belongs to .
&self
var
Var
&self
var
Var