Skip to main content

validate_spec_interfaces

lemma::planning::validation

Function validate_spec_interfaces 

Source 
pub fn validate_spec_interfaces(
    referenced_rules: &HashMap<Vec<String>, HashSet<String>>,
    spec_ref_facts: &[(FactPath, Arc<LemmaSpec>, Source)],
    rule_entries: &IndexMap<RulePath, RuleEntryForBindingCheck>,
) -> Result<(), Vec<Error>>
Expand description

Validate that every spec-ref fact path’s referenced spec has the required rules and that each such rule’s result type satisfies what the referencing rules expect. Type errors are reported at the binding fact’s source when a binding changed the spec ref.