Skip to main content

delhi_syntax/
lib.rs

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