pub fn local_define(&mut self, value: RcValue, ty: RcType) {
        self.level += 1;
        self.values.add_entry(value);
        self.tys.add_entry(ty);
    }
/// Add a local definition to the context.
Add a local definition to the context.
Add a local definition to the context .
pub fn local_define(&mut self, value: RcValue, ty: RcType) {
        self.level += 1;
        self.values.add_entry(value);
        self.tys.add_entry(ty);
    }
pub fn local_define ( & mut self , value : RcValue , ty : RcType ) { self . level += 1 ; self . values . add_entry ( value ) ; self . tys . add_entry ( ty ) ; }
Add a local definition to the context.
Add a local definition to the context .
&mut self
value
RcValue
ty
RcType