Skip to main content

query_proof_traces

xlog_logic::diagnostics

Function query_proof_traces 

Source 
pub fn query_proof_traces(
    program: &Program,
    provenance: &[RuleProvenance],
) -> Vec<QueryProofTrace>
Expand description

Build direct proof traces for source queries.