Skip to main content

rlean_search/parser/
mod.rs

1//! Parsers for Lean type expressions and theorem/lemma/axiom declarations.
2
3mod decl;
4mod type_expr;
5
6pub use decl::{parse_declarations, parse_declarations_with_path};
7pub use type_expr::{parse_type, parse_search_pattern, SearchPattern};