pub mod criterion {
    //! This module re-exports the criterion API unconditionally for now. It's
    //! intended that in the future this be a way to switch the backend to
    //! something else (like codspeed).

    pub use criterion::*;
}