rlean_search/lib.rs
1//! rlean-search: type-aware search over Lean 4 theorems, lemmas, and axioms.
2//!
3//! Schema namespace: `http://github.com/createyourpersonalaccount/rlean-search`
4
5pub mod ast;
6pub mod cache;
7pub mod daemon;
8pub mod index;
9pub mod lake;
10pub mod lexer;
11pub mod parser;
12pub mod protocol;
13pub mod search;
14pub mod xml;
15
16pub use ast::{DeclKind, Declaration, IndexDocument, TypeExpr, RLEAN_NS};
17pub use index::{build_index, SearchIndex};
18pub use search::{matches_decl, matches_type, SearchHit};