fn unwind_trail(&mut self, saved_top: Int) {
    while saved_top < self.trail.len() as Int - 1 {
      let href = self.trail.pop().unwrap();
      self.set_ref(href, href);
    }
  }
/**
   * removes binding for variable cells
   * above savedTop
   */
removes binding for variable cells
above savedTop
removes binding for variable cells above savedTop
fn unwind_trail(&mut self, saved_top: Int) {
    while saved_top < self.trail.len() as Int - 1 {
      let href = self.trail.pop().unwrap();
      self.set_ref(href, href);
    }
  }
fn unwind_trail ( & mut self , saved_top : Int ) { while saved_top < self . trail . len ( ) as Int - 1 { let href = self . trail . pop ( ) . unwrap ( ) ; self . set_ref ( href , href ) ; } }
removes binding for variable cells
 above savedTop
removes binding for variable cells above savedTop
&mut self
saved_top
Int
&mut self
saved_top
Int