pub fn add_defn(&mut self, value: Rc<Value>, ty: Rc<Type>) {
        log::trace!("add definition");
        self.values.add_entry(value);
        self.tys.add_entry(ty);
    }
/// Add a definition to the context.
Add a definition to the context.
Add a definition to the context .
pub fn add_defn(&mut self, value: Rc<Value>, ty: Rc<Type>) {
        log::trace!("add definition");
        self.values.add_entry(value);
        self.tys.add_entry(ty);
    }
pub fn add_defn ( & mut self , value : Rc < Value > , ty : Rc < Type > ) { log :: trace ! ( " " ) ; self . values . add_entry ( value ) ; self . tys . add_entry ( ty ) ; }
Add a definition to the context.
Add a definition to the context .
&mut self
value
Rc<Value>
ty
Rc<Type>
&mut self
value
Rc<Value>
ty
Rc<Type>