1 2 3 4 5
// SPDX-License-Identifier: Apache-2.0 //! Re-export of the consolidation engine, which lives in //! `core::knowledge_consolidate` (the engine's own drivers call it there). pub use lean_ctx::core::knowledge_consolidate::*;