Skip to main content

explain_source_diagnostics

xlog

Function explain_source_diagnostics 

Source 
pub(crate) fn explain_source_diagnostics(
    source_program: &Program,
    analysis_program: &Program,
    rewritten_program: &Program,
) -> (Vec<RuleProvenance>, Vec<QueryProofTrace>)