Module eval 

Evaluation: leaf comparisons, comparison expressions, and observation expressions.

Functions

eval_comparison

Evaluate a single Comparison against a single object, dereferencing through store where the path requires it. Honors the leaf’s negated flag.

eval_comparison_expression

Evaluate a comparison expression against one observation using binding enumeration: each distinct referenced object-type is bound to one object of that type from the observation (or none); the expression matches if some binding makes the boolean tree true. This gives correct “same object” semantics for AND within an observation while staying cheap (observations are small).

eval_pattern

Evaluate a whole pattern against a list of observations.