From b951d7e571a24729303169733062154c4639f73a Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 1 Dec 2021 13:49:32 +0100
Subject: Move some definitions to new files

---
 src/ValuesUtils.ml | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 src/ValuesUtils.ml

(limited to 'src/ValuesUtils.ml')

diff --git a/src/ValuesUtils.ml b/src/ValuesUtils.ml
new file mode 100644
index 00000000..3fd04b56
--- /dev/null
+++ b/src/ValuesUtils.ml
@@ -0,0 +1,7 @@
+module T = Types
+open TypesUtils
+open Values
+
+let mk_unit_value : typed_value = { value = Tuple []; ty = mk_unit_ty }
+
+let mk_typed_value (ty : T.ety) (value : value) : typed_value = { value; ty }
-- 
cgit v1.2.3