Module system 

Structs

System

A comprehensive struct for handling variables, rules and a uniform sampler cohesively.

SystemBuilder

Traits

Evaluator

Functions

validate_rules

Validation: ensure all consequents/antecedents reference existing vars/terms.