From ae04cde7b7d5acaf0ae7957276e026a5fcd6706e Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 29 Apr 2022 18:11:52 +0200
Subject: Add ConstStrings.ml

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

diff --git a/src/ConstStrings.ml b/src/ConstStrings.ml
new file mode 100644
index 00000000..ae169a2e
--- /dev/null
+++ b/src/ConstStrings.ml
@@ -0,0 +1,7 @@
+(** Some utilities *)
+
+(** Basename for state variables (introduced when using state-error monads) *)
+let state_basename = "st"
+
+(** ADT constructor prefix (used when pretty-printing) *)
+let constructor_prefix = "Mk"
-- 
cgit v1.2.3