Reorder formatting calls
This commit is contained in:
parent
81b9ca4cfa
commit
ab0727fe5b
@ -4,12 +4,6 @@ struct TermDisplay<'term>
|
|||||||
term: &'term crate::Term,
|
term: &'term crate::Term,
|
||||||
}
|
}
|
||||||
|
|
||||||
struct FormulaDisplay<'formula>
|
|
||||||
{
|
|
||||||
parent_precedence: i32,
|
|
||||||
formula: &'formula crate::Formula,
|
|
||||||
}
|
|
||||||
|
|
||||||
fn display_term<'term>(term: &'term crate::Term, parent_precedence: i32) -> TermDisplay<'term>
|
fn display_term<'term>(term: &'term crate::Term, parent_precedence: i32) -> TermDisplay<'term>
|
||||||
{
|
{
|
||||||
TermDisplay
|
TermDisplay
|
||||||
@ -19,6 +13,12 @@ fn display_term<'term>(term: &'term crate::Term, parent_precedence: i32) -> Term
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
struct FormulaDisplay<'formula>
|
||||||
|
{
|
||||||
|
parent_precedence: i32,
|
||||||
|
formula: &'formula crate::Formula,
|
||||||
|
}
|
||||||
|
|
||||||
fn display_formula<'formula>(formula: &'formula crate::Formula, parent_precedence: i32)
|
fn display_formula<'formula>(formula: &'formula crate::Formula, parent_precedence: i32)
|
||||||
-> FormulaDisplay<'formula>
|
-> FormulaDisplay<'formula>
|
||||||
{
|
{
|
||||||
|
Loading…
Reference in New Issue
Block a user