Module response 

Structs

DataGroup

Grouped data from a specific spec (semantics types only).

EvaluatedRule

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

Response

Response from evaluating a Lemma spec

RuleResult

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