//! Feature-gated bridge to the deterministic work counters (L0).
//!
//! With the `work-count` feature OFF this compiles to nothing: the [`work!`]
//! macro drops its argument tokens, [`crate::work_count`] is not a dependency, and
//! production output and behavior are unchanged. With it ON, each `work!` site
//! is an `#[inline]` relaxed atomic add.
//!
//! Instrumented modules bring the macro into scope with `use crate::lossy::work::work;`
//! and write `work!(FdctCall);` (bump by one) or `work!(TrellisEval, n);`
//! (add `n`). The macro expands through the absolute `$crate::lossy::work::Counter`
//! path, so it resolves identically from any call-site module.
/// The counter vocabulary, re-exported so `$crate::lossy::work::Counter` resolves.
pub use crateCounter;
/// Bump a work counter. `work!(Slot)` adds one; `work!(Slot, n)` adds `n`.
///
/// Expands to nothing (and never type-checks its arguments) when the
/// `work-count` feature is off.
pub use work;