/// Add a definition to the context.
Add a definition to the context.
Add a definition to the context .
pub fn add_defn(
        &mut self,
        name: impl Into<String>,
        value: Rc<domain::Value>,
        ty: Rc<domain::Type>,
    ) {
        let name = name.into();
        log::trace!("add definition: {}", name);
        let var_level = self.values.size().next_level();
        self.add_name(name, var_level);
        self.values.add_entry(value);
        self.tys.add_entry(ty);
    }
pub fn add_defn ( & mut self , name : impl Into < String > , value : Rc < domain :: Value > , ty : Rc < domain :: Type > , ) { let name = name . into ( ) ; log :: trace ! ( " " name ) ; let var_level = self . values . size ( ) . next_level ( ) ; self . add_name ( name , var_level ) ; self . values . add_entry ( value ) ; self . tys . add_entry ( ty ) ; }
Add a definition to the context.
Add a definition to the context .
&mut self
name
impl Into<String>
value
Rc<domain::Value>
ty
Rc<domain::Type>