Method find

crates/kernel/src/lctx.rs:103–105

Look up a declaration by its [`FVarId`]. Returns `None` if the fvar is not bound in this context.

(&self, id: FVarId)

  /// Look up a declaration by its [`FVarId`]. Returns `None` if the fvar is
  /// not bound in this context.
  pub fn find(&self, id: FVarId) -> Option<&LocalDecl<M>> {
    self.index.get(&id).map(|&i| &self.decls[i].1)
  }

  /// Push a declaration. The caller is responsible for ensuring `id` is
  /// fresh (typically from [`NameGenerator::fresh`]).