Enum VerifiedByResult 

pub enum VerifiedByResult {
    BuiltinRule(VerifiedByBuiltinRuleResult),
    Fact(VerifiedByFactResult),
    VerifiedBys(VerifiedBysResult),
}

Variants

BuiltinRule(VerifiedByBuiltinRuleResult)

Fact(VerifiedByFactResult)

VerifiedBys(VerifiedBysResult)

Implementations

impl VerifiedByResult

pub fn builtin_rule(msg: impl Into<String>, _goal: Fact) -> Self

pub fn cited_fact(_goal: Fact, cite_what: Fact, detail: Option<String>) -> Self

pub fn cited_stmt(_goal: Fact, cite_what: Stmt, detail: Option<String>) -> Self

pub fn fact_with_note(goal: Fact, msg: Option<String>) -> Self

Same statement as goal and citation; optional human note in msg.

pub fn cached_fact(fact: Fact, cite_fact_source: LineFile) -> Self

pub fn wrap_bys(children: Vec<VerifiedBysEnum>) -> Self

pub fn tree_is_builtin_rules_only(&self) -> bool

pub fn first_builtin_rule_label(&self) -> Option<&str>

impl VerifiedByResult

pub fn display_line(&self) -> String

Trait Implementations

impl Debug for VerifiedByResult

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.