pub fn import_def(&self, name: ResolvableName, def: Spanned<Def2<'t>>) -> Result<()> {
        self.imported_defs
            .borrow_mut()
            .entry(name)
            .or_insert_with(|| Vec::new())
            .push(def);
        Ok(())
    }
/// Import a definition into the scope.
Import a definition into the scope.
Import a definition into the scope .
pub fn import_def(&self, name: ResolvableName, def: Spanned<Def2<'t>>) -> Result<()> {
        self.imported_defs
            .borrow_mut()
            .entry(name)
            .or_insert_with(|| Vec::new())
            .push(def);
        Ok(())
    }
pub fn import_def ( & self , name : ResolvableName , def : Spanned < Def2 < ' t > > ) -> Result < ( ) > { self . imported_defs . borrow_mut ( ) . entry ( name ) . or_insert_with ( | | Vec :: new ( ) ) . push ( def ) ; Ok ( ( ) ) }
Import a definition into the scope.
Import a definition into the scope .
&self
name
ResolvableName
def
Spanned<Def2<'t>>
&self
name
ResolvableName
def
Spanned<Def2<'t>>