Skip to main content

build_rule_provenance

xlog_logic::diagnostics

Function build_rule_provenance 

Source 
pub fn build_rule_provenance(
    program: &Program,
    generated_predicates: &[String],
) -> Vec<RuleProvenance>
Expand description

Build source and generated rule-provenance records for a program.