1 2 3 4 5 6 7 8 9
//! The delhi query language: hash-consed formulas over `L_GB`. #![deny(missing_docs)] pub mod formula; pub mod sugar; pub mod symbol; pub use formula::{AgentId, AgentMask, AtomId, FormulaId, Node, Store}; pub use symbol::Interner;