Method count_0

crates/kernel/src/expr.rs:126–128

(&self)

  /// Lean mdata annotations. Semantically transparent, erased in Anon mode.
  pub mdata: M::MField<Vec<MData>>,
  /// Original level-spelling decoration (Meta-mode `Sort`/`Const` only;
  /// `None` everywhere else and when the stored spelling is already
  /// `mk*`-normal). See [`UnivDecor`]. Erased in Anon mode.
  pub univ_decor: M::MField<Option<UnivDecor>>,
}