Module verify

Source

Functionsยง

verify_rules
verify_rules_for_term