pub fn local_bind(&mut self, ty: RcType) -> RcValue {
        let param = RcValue::var(self.level());
        self.local_define(param.clone(), ty);
        param
    }
/// Add a bound variable the context, returning a variable that points to
/// the correct binder.
Add a bound variable the context, returning a variable that points to
the correct binder.
Add a bound variable the context returning a variable that points to the correct binder .
pub fn local_bind(&mut self, ty: RcType) -> RcValue {
        let param = RcValue::var(self.level());
        self.local_define(param.clone(), ty);
        param
    }
pub fn local_bind ( & mut self , ty : RcType ) -> RcValue { let param = RcValue :: var ( self . level ( ) ) ; self . local_define ( param . clone ( ) , ty ) ; param }
Add a bound variable the context, returning a variable that points to
the correct binder.
Add a bound variable the context returning a variable that points to the correct binder .
&mut self
ty
RcType