1 2 3
// SPDX-License-Identifier: Apache-2.0 //! Facade: the engine's error types live in the `lean-ctx-fs` crate. pub use lean_ctx_fs::error::*;