Module rules 

The Workshop rule and declaration domain.

Rule, variable, and subroutine data is modeled canonically in crate::Program. Whole-program inspection is available from this domain entry point; canonical validation is at crate::validate.

Re-exports

pub use crate::program::Condition;

pub use crate::program::Program;

pub use crate::program::Rule;

pub use crate::program::Subroutine;

pub use crate::program::Variable;

Structs

SemanticIssue

Enums

IncompletenessKind

ResidualClassification

Functions

inspect

Report preserved or catalog-unknown constructs that must not be treated as fully understood by downstream analysis.