Module response 

Structs

EvaluatedRule

Rule info with resolved expressions for use in evaluation response. Evaluation uses only semantics types; no parsing types.

Facts

Facts from a specific spec (semantics types only).

Response

Response from evaluating a Lemma spec

RuleResult

Result of evaluating a single rule (semantics types only).