From 824f2987d47e87d58ee2a4a96d7be417aad6aeab Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Wed, 31 Jan 2018 13:20:20 +0100
Subject: API refactoring : made the GADT abstract, provide contructor for each
 case, and deported the expression with evaluation with module functors

---
 src/expressions/show_ref.ml | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100755 src/expressions/show_ref.ml

(limited to 'src/expressions/show_ref.ml')

diff --git a/src/expressions/show_ref.ml b/src/expressions/show_ref.ml
new file mode 100755
index 0000000..97d8022
--- /dev/null
+++ b/src/expressions/show_ref.ml
@@ -0,0 +1,11 @@
+type 'a t = UTF8.Buffer.buffer -> unit
+
+type 'a obs = UTF8.Buffer.buffer -> unit
+
+let cell t buffer =
+  UTF8.Buffer.add_string buffer @@ Cell.to_string t
+
+let range c1 c2 buffer =
+  Tools.Tuple2.printb ~first:"" ~last:"" ~sep:":" Cell.to_buffer Cell.to_buffer buffer (c1, c2)
+
+let observe elem buffer = elem buffer
-- 
cgit v1.2.3