lang: mv ConstantValue to a dedicated file

Author: tcoratger

crates/leanVm/src/lang/constant_value.rs

@@ -0,0 +1,26 @@
+use std::fmt;
+
+use crate::Label;
+
+#[derive(Debug, Clone, PartialEq, Eq, PartialOrd, Ord, Hash)]
+pub enum ConstantValue {
+    Scalar(usize),
+    PublicInputStart,
+    PointerToZeroVector, // In the memory of chunks of 8 field elements
+    FunctionSize { function_name: Label },
+    Label(Label),
+}
+
+impl fmt::Display for ConstantValue {
+    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
+        match self {
+            Self::Scalar(scalar) => write!(f, "{scalar}"),
+            Self::PublicInputStart => write!(f, "@public_input_start"),
+            Self::PointerToZeroVector => write!(f, "@pointer_to_zero_vector"),
+            Self::FunctionSize { function_name } => {
+                write!(f, "@function_size_{function_name}")
+            }
+            Self::Label(label) => write!(f, "{label}"),
+        }
+    }
+}

crates/leanVm/src/lang/mod.rs

@@ -7,26 +7,18 @@ use crate::{
     bytecode::precompiles::Precompile,
     constant::F,
     intermediate_bytecode::HighLevelOperation,
-    lang::{boolean::Boolean, simple_expr::SimpleExpr},
+    lang::{boolean::Boolean, constant_value::ConstantValue, simple_expr::SimpleExpr},
 };
 
 pub mod boolean;
+pub mod constant_value;
 pub mod function;
 pub mod program;
 pub mod simple_expr;
 
 pub type Var = String;
 pub type ConstMallocLabel = usize;
 
-#[derive(Debug, Clone, PartialEq, Eq, PartialOrd, Ord, Hash)]
-pub enum ConstantValue {
-    Scalar(usize),
-    PublicInputStart,
-    PointerToZeroVector, // In the memory of chunks of 8 field elements
-    FunctionSize { function_name: Label },
-    Label(Label),
-}
-
 #[derive(Debug, Clone, PartialEq, Eq, PartialOrd, Ord, Hash)]
 pub enum ConstExpression {
     Value(ConstantValue),
@@ -392,20 +384,6 @@ impl Line {
     }
 }
 
-impl fmt::Display for ConstantValue {
-    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
-        match self {
-            Self::Scalar(scalar) => write!(f, "{scalar}"),
-            Self::PublicInputStart => write!(f, "@public_input_start"),
-            Self::PointerToZeroVector => write!(f, "@pointer_to_zero_vector"),
-            Self::FunctionSize { function_name } => {
-                write!(f, "@function_size_{function_name}")
-            }
-            Self::Label(label) => write!(f, "{label}"),
-        }
-    }
-}
-
 impl fmt::Display for ConstExpression {
     fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
         match self {