Skip to main content

lean_ctx/core/
error.rs

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