Skip to main content

gollum_ir/
lib.rs

1//! `gollum-ir` — Intermediate Representation for the Gollum logic engine.
2#![warn(missing_docs)]
3
4pub mod action;
5pub mod clause;
6pub mod lower;
7pub mod metadata;
8pub mod program;
9pub mod query;
10pub mod state;
11pub mod term;
12pub mod timestamp;
13
14#[cfg(feature = "pddl")]
15pub mod pddl;
16
17pub use action::{ActionValidationError, IrAction};
18pub use clause::IrClause;
19pub use lower::lower;
20pub use metadata::IrMetadata;
21pub use program::IrProgram;
22pub use query::IrQuery;
23pub use state::IrState;
24pub use term::IrTerm;
25pub use timestamp::{Interval, Timestamp};
26
27// Re-export modal types from the AST so downstream crates (WAM, KB) can use them
28pub use gollum_ast::modal::{ModalAnnotation, ModalCondition, ModalOperator};