Module validation 

Validation passes for TLExpr.

This module provides comprehensive validation for logical expressions before compilation. Validation helps catch errors early and provide helpful error messages.

Structs

ValidationResult

Result of pre-compilation validation.

Functions

validate_arity

Validate that all predicates with the same name have the same arity.

validate_expression

Performs comprehensive pre-compilation validation.

validate_expression_with_types

Validates an expression with type signatures.