datalog-structural-model-3.0.0
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

datalog-structural-model 3.0.0

Typed Datalog rule IR, validation, and stratification

Crate
Source
Builds
Feature flags

..
aggregate_bind_scope.rs
aggregate_result_scope.rs
capabilities.rs
deep_dependencies.rs
nested_validation.rs
operator_coverage.rs
predicate_schedule.rs
public_api.rs
rule_schedule.rs
serde_context.rs
serde_diagnostics.rs
serde_programs.rs
serde_term_shapes.rs
stratification_conformance.rs
tuple_dependencies.rs