Method iter

crates/kernel/src/lctx.rs:125–127

Iterate decls in insertion order.

(&self)

  /// Iterate decls in insertion order.
  pub fn iter(&self) -> impl Iterator<Item = (FVarId, &LocalDecl<M>)> {
    self.decls.iter().map(|(id, d)| (*id, d))
  }

  /// Abstract `body` over `fvars` and wrap it in a chain of `Lam` (or `Let`
  /// for `LDecl` entries) binders, innermost-first.