eqlog 0.9.0

Datalog with equality
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

//! Compile checks that run after [`crate::scopes::resolve_scopes`] and need
//! name resolution but not type inference. Each submodule owns one
//! self-contained analysis:
//!
//! * [`bindings`] — position-local checks on `then`-atom terms, defined-var
//!   slots, and match-pattern arguments.
//! * [`occurrences`] — per-rule singleton detection for variable names.
//!
//! The entry points return errors as a `Vec` or `Option`; [`crate::build`]
//! merges them through `CompileError`'s `Ord` so that the global
//! kind-precedence ordering applies.

pub mod bindings;
pub mod occurrences;

pub use bindings::check_bindings;
pub use occurrences::check_occurrences;