workshop_rs/rules/
mod.rs

1//! The Workshop rule and declaration domain.
2//!
3//! Rule, variable, and subroutine data is modeled canonically in [`crate::Program`].
4//! Whole-program inspection is available from this domain entry point;
5//! canonical validation is at [`crate::validate::validate_canonical_ids`].
6
7pub(crate) mod emitter;
8pub(crate) mod parser;
9pub(crate) mod validate;
10
11pub use crate::analysis::semantic::{
12    IncompletenessKind, ResidualClassification, SemanticIssue, inspect,
13};
14pub use crate::program::{Condition, Program, Rule, Subroutine, Variable};

workshop_rs/rules/mod.rs

workshop_rs/rules/
mod.rs