mv some trait

Author: tcoratger

crates/lean_compiler/src/ir/simple_line/mod.rs

@@ -21,23 +21,14 @@ use crate::{
         compiler::{Compile, CompileContext, CompileResult, Compiler, FindInternalVars},
     },
     lang::Var,
+    traits::IndentedDisplay,
 };
 use lean_vm::Label;
 use std::{
     collections::BTreeSet,
     fmt::{Display, Formatter},
 };
 
-/// Trait for displaying instructions with proper indentation.
-pub trait IndentedDisplay: Display {
-    /// Returns a string representation with the specified indentation level.
-    ///
-    /// Default implementation just adds indentation to the Display output.
-    fn to_string_with_indent(&self, indent: usize) -> String {
-        format!("{}{}", "    ".repeat(indent), self)
-    }
-}
-
 pub use assignment::Assignment;
 pub use branch::Branch;
 pub use counter_hint::CounterHint;

crates/lean_compiler/src/lib.rs

@@ -13,6 +13,7 @@ mod lang;
 mod parser;
 mod passes;
 mod precompiles;
+pub mod traits;
 pub use precompiles::PRECOMPILES;
 
 /// Compiles a program using the new pass architecture.

crates/lean_compiler/src/traits.rs

@@ -0,0 +1,11 @@
+use std::fmt::Display;
+
+/// Trait for displaying with proper indentation.
+pub trait IndentedDisplay: Display {
+    /// Returns a string representation with the specified indentation level.
+    ///
+    /// Default implementation just adds indentation to the Display output.
+    fn to_string_with_indent(&self, indent: usize) -> String {
+        format!("{}{}", "    ".repeat(indent), self)
+    }
+}