Method has_fvars

crates/kernel/src/expr.rs:133–135

Whether any [`ExprData::FVar`] occurrence is reachable. Computed at construction time and propagated via OR through composite nodes, so the check is O(1) per call.

(&self)

    self.info().has_fvars
  }

  pub fn mdata(&self) -> &M::MField<Vec<MData>> {
    &self.info().mdata
  }

  /// Canonical identity key for cache lookups: the intern-assigned uid.