lang: mv to a dedicated file

Author: tcoratger

crates/leanVm/src/lang.rs crates/leanVm/src/lang/mod.rscrates/leanVm/src/lang.rs renamed to crates/leanVm/src/lang/mod.rs

@@ -1,4 +1,4 @@
-use std::{collections::BTreeMap, fmt};
+use std::fmt;
 
 use p3_field::PrimeCharacteristicRing;
 
@@ -7,10 +7,7 @@ use crate::{
     intermediate_bytecode::HighLevelOperation,
 };
 
-#[derive(Debug, Clone)]
-pub struct Program {
-    pub functions: BTreeMap<String, Function>,
-}
+pub mod program;
 
 #[derive(Debug, Clone)]
 pub struct Function {
@@ -525,20 +522,6 @@ impl fmt::Display for Line {
     }
 }
 
-impl fmt::Display for Program {
-    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
-        let program_str = self
-            .functions
-            .values()
-            .map(ToString::to_string)
-            .collect::<Vec<_>>()
-            .join("\n\n");
-
-        // Write the final, joined string to the formatter.
-        write!(f, "{program_str}")
-    }
-}
-
 impl fmt::Display for Function {
     fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
         let args_str = self

crates/leanVm/src/lang/program.rs

@@ -0,0 +1,22 @@
+use std::{collections::BTreeMap, fmt};
+
+use crate::lang::Function;
+
+#[derive(Debug, Clone)]
+pub struct Program {
+    pub functions: BTreeMap<String, Function>,
+}
+
+impl fmt::Display for Program {
+    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
+        let program_str = self
+            .functions
+            .values()
+            .map(ToString::to_string)
+            .collect::<Vec<_>>()
+            .join("\n\n");
+
+        // Write the final, joined string to the formatter.
+        write!(f, "{program_str}")
+    }
+}