Struct ExplainReport 

pub(crate) struct ExplainReport {

    pub(crate) program: Program,
    pub(crate) parse_stats: ParseCacheStats,
    pub(crate) epistemic: Value,
    pub(crate) magic_sets: MagicSetReport,
    pub(crate) aggregate_lifting: Vec<AggregateLiftReport>,
    pub(crate) generated_rule_diagnostics: Vec<GeneratedRuleDiagnostic>,
    pub(crate) rule_provenance: Vec<RuleProvenance>,
    pub(crate) proof_traces: Vec<QueryProofTrace>,
    pub(crate) stratification_status: String,
    pub(crate) stratification_count: usize,
    pub(crate) rir_status: String,
    pub(crate) rir_sccs: usize,
    pub(crate) optimizer_status: String,
    pub(crate) optimizer_memory_peak: u64,
}

Fields

program: Program

parse_stats: ParseCacheStats

epistemic: Value

magic_sets: MagicSetReport

aggregate_lifting: Vec<AggregateLiftReport>

generated_rule_diagnostics: Vec<GeneratedRuleDiagnostic>

rule_provenance: Vec<RuleProvenance>

proof_traces: Vec<QueryProofTrace>

stratification_status: String

stratification_count: usize

rir_status: String

rir_sccs: usize

optimizer_status: String

optimizer_memory_peak: u64