Method count

crates/kernel/src/lctx.rs:242–244

Number of fvars generated so far. Used by Stage B to save/restore the counter when needed (rare; binder open/close are usually nested in a way that does not require counter rollback).

(&self)

  /// counter when needed (rare; binder open/close are usually nested in a
  /// way that does not require counter rollback).
  pub fn count(&self) -> u64 {
    self.next
  }
}

/// Cheap predicate: an `FVar` head-only check. Used by callers (Stage B+)