pub fn local_define(
        &mut self,
        name: impl Into<Option<String>>,
        value: domain::RcValue,
        ty: domain::RcType,
    ) {
        match name.into() {
            None => log::trace!("insert fresh local"),
            Some(name) => {
                log::trace!("insert named local: {}", name);
                self.names.insert(name, self.level());
            },
        }
        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,
        name: impl Into<Option<String>>,
        value: domain::RcValue,
        ty: domain::RcType,
    ) {
        match name.into() {
            None => log::trace!("insert fresh local"),
            Some(name) => {
                log::trace!("insert named local: {}", name);
                self.names.insert(name, self.level());
            },
        }
        self.level += 1;
        self.values.add_entry(value);
        self.tys.add_entry(ty);
    }
pub fn local_define ( & mut self , name : impl Into < Option < String > > , value : domain :: RcValue , ty : domain :: RcType , ) { match name . into ( ) { None => log :: trace ! ( " " ) , Some ( name ) => { log :: trace ! ( " " name ) ; self . names . insert ( name , self . level ( ) ) ; } , } 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
name
impl Into<Option<String>>
value
domain::RcValue
ty
domain::RcType