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) generated_rule_diagnostics_status: String,
    pub(crate) generated_rule_diagnostics_reason: Option<String>,
    pub(crate) rule_provenance: Vec<RuleProvenance>,
    pub(crate) proof_traces: Vec<QueryProofTrace>,
    pub(crate) stratification_status: String,
    pub(crate) stratification_reason: Option<String>,
    pub(crate) stratification_count: usize,
    pub(crate) aggregate_lifting_status: String,
    pub(crate) aggregate_lifting_reason: Option<String>,
    pub(crate) rir_status: String,
    pub(crate) rir_reason: Option<String>,
    pub(crate) rir_sccs: usize,
    pub(crate) optimizer_status: String,
    pub(crate) optimizer_reason: Option<String>,
    pub(crate) optimizer_memory_peak: u64,
    pub(crate) wcoj_status: String,
    pub(crate) wcoj_reason: Option<String>,
}

Fields

program: Program

parse_stats: ParseCacheStats

epistemic: Value

magic_sets: MagicSetReport

aggregate_lifting: Vec<AggregateLiftReport>

generated_rule_diagnostics: Vec<GeneratedRuleDiagnostic>

generated_rule_diagnostics_status: String

generated_rule_diagnostics_reason: Option<String>

rule_provenance: Vec<RuleProvenance>

proof_traces: Vec<QueryProofTrace>

stratification_status: String

stratification_reason: Option<String>

stratification_count: usize

aggregate_lifting_status: String

aggregate_lifting_reason: Option<String>

rir_status: String

rir_reason: Option<String>

rir_sccs: usize

optimizer_status: String

optimizer_reason: Option<String>

optimizer_memory_peak: u64

wcoj_status: String

wcoj_reason: Option<String>