pub fn find_missing_dependencies(
rule: &LemmaRule,
document_facts: &[LemmaFact],
evaluated_results: &[RuleResult],
) -> (Vec<String>, Vec<String>)Expand description
Find all missing facts and rules for a rule.
Returns (missing_facts, missing_rules) where:
- missing_facts: Facts that have type annotations (not provided)
- missing_rules: Rules that this rule depends on that couldn’t be evaluated
Used to provide helpful error messages about what inputs are needed to successfully evaluate a rule.
§Examples
Given:
fact price: number
rule total = price * 2
Returns: (["price [number]"], [])