A single term in an flattened explanation.
After the first term in a
FlatExplanation, each term
will be annotated with exactly one
backward_rule or one
forward_rule. This can appear in children
indicating that the child is being rewritten.
forward_rule is provided, the previous FlatTerm can be rewritten
to this FlatTerm by applying the rule.
backward_rule is provided, the previous FlatTerm is given by applying
the rule to this FlatTerm.
Rules are either the string of the name of the rule or the reason provided to
The node representing this FlatTerm’s operator. The children of the node should be ignored.
A rule rewriting this FlatTerm back to the last FlatTerm.
A rule rewriting the last FlatTerm to this FlatTerm.
The children of this FlatTerm.
Remove the rewrite annotation from this flatterm, if any.
Convert this FlatTerm to an S-expression.
get_flat_string for the format of these expressions.
Convert this FlatTerm to a RecExpr.
Auto Trait Implementations§
trueif they are equal.
Returns the argument unchanged.