Method name

crates/kernel/src/lctx.rs:50–54

(&self)

  }

  pub fn name(&self) -> &M::MField<Name> {
    match self {
      LocalDecl::CDecl { name, .. } | LocalDecl::LDecl { name, .. } => name,
    }
  }

  /// `Some(val)` for let-bindings, `None` otherwise.
  pub fn val(&self) -> Option<&KExpr<M>> {