diff --git a/src/eval/lang.rs b/src/eval/lang.rs
index a09dd166fe..39cfc7d9c1 100644
--- a/src/eval/lang.rs
+++ b/src/eval/lang.rs
@@ -211,21 +211,6 @@ impl<F: LurkField, C: Coprocessor<F>> Lang<F, C> {
         self.index.get(z_ptr).copied()
     }
 
-    pub fn get_coprocessor(&self, index: usize) -> Option<&C> {
-        self.coprocessors.get_index(index).map(|(_, (c, _))| c)
-    }
-
-    pub fn get_coprocessor_z_ptr(&self, index: usize) -> Option<&ZExprPtr<F>> {
-        self.coprocessors
-            .get_index(index)
-            .map(|(_, (_, z_ptr))| z_ptr)
-    }
-
-    pub fn get_coprocessor_from_zptr(&self, z_ptr: &ZExprPtr<F>) -> Option<&C> {
-        self.get_index(z_ptr)
-            .and_then(|index| self.get_coprocessor(index))
-    }
-
     #[inline]
     pub fn get_index_by_symbol(&self, sym: &Symbol) -> Option<usize> {
         self.coprocessors.get_index_of(sym)
diff --git a/src/eval/mod.rs b/src/eval/mod.rs
index 40ea7b89e5..82eeb7b40e 100644
--- a/src/eval/mod.rs
+++ b/src/eval/mod.rs
@@ -67,20 +67,9 @@ pub enum Meta<F: LurkField> {
 }
 
 impl<F: LurkField> Meta<F> {
-    pub fn is_lurk(&self) -> bool {
-        *self == Self::Lurk
-    }
-
     pub fn is_coprocessor(&self) -> bool {
         matches!(self, Self::Coprocessor(_))
     }
-
-    pub fn get_coprocessor_z_ptr(&self) -> Option<&ZExprPtr<F>> {
-        match self {
-            Self::Lurk => None,
-            Self::Coprocessor(z_ptr) => Some(z_ptr),
-        }
-    }
 }
 
 #[derive(Clone, Copy, Debug, PartialEq, Eq)]