diff --git a/src/format/terms.rs b/src/format/terms.rs
index e1cb92c..6212b13 100644
--- a/src/format/terms.rs
+++ b/src/format/terms.rs
@@ -1,11 +1,3 @@
-#[derive(Clone, Copy, Eq, PartialEq)]
-pub(crate) enum TermPosition
-{
-	Any,
-	Left,
-	Right,
-}
-
 impl std::fmt::Debug for crate::SpecialInteger
 {
 	fn fmt(&self, format: &mut std::fmt::Formatter) -> std::fmt::Result
@@ -58,6 +50,14 @@ impl std::fmt::Display for crate::VariableDeclaration
 	}
 }
 
+#[derive(Clone, Copy, Eq, PartialEq)]
+pub(crate) enum TermPosition
+{
+	Any,
+	Left,
+	Right,
+}
+
 pub(crate) struct TermDisplay<'term>
 {
 	term: &'term crate::Term,