oxilean_parse/notation_elaboration/mod.rs
1//! User-defined notation elaboration for OxiLean.
2//!
3//! This module manages a database of notation definitions (prefix, infix,
4//! postfix, and mixfix) and provides a lightweight elaboration pass that
5//! rewrites source text according to those definitions.
6//!
7//! # Quick example
8//!
9//! ```ignore
10//! use oxilean_parse::notation_elaboration::{standard_notations, elaborate_notation};
11//!
12//! let db = standard_notations();
13//! let result = elaborate_notation("P ∧ Q", &db);
14//! assert!(result.elaborated.contains("And"));
15//! ```
16
17pub mod functions;
18pub mod types;
19
20pub use functions::*;
21pub use types::*;