pub fn lookup_binder(&self, name: &str) -> Option<(VarIndex, &domain::RcType)> {
        let level = self.names.get(name)?;
        let index = VarIndex(self.level.0 - (level.0 + 1));
        log::trace!("lookup binder: {} -> @{}", name, index.0);
        let ty = self.tys().lookup_entry(index)?; // FIXME: Internal error?
        Some((index, ty))
    }
/// Lookup the de-bruijn index and the type annotation of a binder in the
/// context using a user-defined name
Lookup the de-bruijn index and the type annotation of a binder in the
context using a user-defined name
Lookup the de - bruijn index and the type annotation of a binder in the context using a user - defined name
pub fn lookup_binder(&self, name: &str) -> Option<(VarIndex, &domain::RcType)> {
        let level = self.names.get(name)?;
        let index = VarIndex(self.level.0 - (level.0 + 1));
        log::trace!("lookup binder: {} -> @{}", name, index.0);
        let ty = self.tys().lookup_entry(index)?; // FIXME: Internal error?
        Some((index, ty))
    }
pub fn lookup_binder ( & self , name : & str ) -> Option < ( VarIndex , & domain :: RcType ) > { let level = self . names . get ( name ) ? ; let index = VarIndex ( self . level . 0 - ( level . 0 + 1 ) ) ; log :: trace ! ( " " name index 0 ) ; let ty = self . tys ( ) . lookup_entry ( index ) ? ; // FIXME: Internal error? Some ( ( index , ty ) ) }
Lookup the de-bruijn index and the type annotation of a binder in the
context using a user-defined name
Lookup the de - bruijn index and the type annotation of a binder in the context using a user - defined name
&self
name
&str