diff --git a/src/format.rs b/src/format.rs index 925f976..21a0533 100644 --- a/src/format.rs +++ b/src/format.rs @@ -4,12 +4,6 @@ struct TermDisplay<'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> { 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) -> FormulaDisplay<'formula> {