1 files changed, 0 insertions, 104 deletions
diff --git a/dev/lib/logic/equiv.hpp b/dev/lib/logic/equiv.hpp
deleted file mode 100644
index 1bdb6d9..0000000
--- a/dev/lib/logic/equiv.hpp
+++ /dev/null
@@ -1,104 +0,0 @@
-/*
- * File: equiv.hpp
- * Purpose: Equivalence header.
- * Author: Amlal El Mahrouss (amlal@nekernel.org)
- * Copyright 2025, Amlal El Mahrouss, licensed under the Boost Software License.
- */
-
-#pragma once
-
-/// @brief OCL equivalence namespace.
-namespace ocl::equiv
-{
-	template <typename T>
-	struct basic_hash_trait
-	{
-		/// @brief hash from T's result_type.
-		static typename T::result_type hash()
-		{
-			static T val;
-			return val.hash();
-		}
-	};
-
-	template <typename T, typename U>
-	struct is_same
-	{
-		static constexpr bool value = false;
-
-		/// @brief check if hash matches what we expect.
-		constexpr bool operator()() noexcept
-		{
-			return T::hash() == U::hash();
-		}
-	};
-
-	template <typename T>
-	struct is_same<T, T>
-	{
-		static constexpr bool value = true;
-	};
-
-	template <typename T, typename U>
-	struct is_not_same
-	{
-		static constexpr bool value = true;
-
-		constexpr bool operator()() noexcept
-		{
-			return T::hash() != U::hash();
-		}
-	};
-
-	template <typename T>
-	struct is_not_same<T, T>
-	{
-		static constexpr bool value = false;
-	};
-
-	template <typename T>
-	struct equiv_is_int8
-	{
-	private:
-		T left_ = 127, right_ = 127;
-
-	public:
-		using result_type = T;
-
-		constexpr result_type hash()
-		{
-			return (left_ + right_) < 1;
-		}
-	};
-
-	template <typename T>
-	struct equiv_not_int8
-	{
-	private:
-		// these shall overflow if not int8.
-		T left_ = 127, right_ = 127;
-
-	public:
-		using result_type = T;
-
-		constexpr result_type hash()
-		{
-			return (left_ + right_) > 0;
-		}
-	};
-
-	template <typename T>
-	struct equiv_is_real
-	{
-	private:
-		T left_ = 5, right_ = 3;
-
-	public:
-		using result_type = T;
-
-		constexpr result_type hash()
-		{
-			return left_ / right_ == 1;
-		}
-	};
-} // namespace ocl::equiv