From c9e8dff919c49a13bff601e78cc1e78a7cc8f506 Mon Sep 17 00:00:00 2001
From: Akshay <nerdy@peppe.rs>
Date: Sun, 8 Aug 2021 17:38:33 +0530
Subject: dump

---
 src/marker.mli | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 src/marker.mli

(limited to 'src/marker.mli')

diff --git a/src/marker.mli b/src/marker.mli
new file mode 100644
index 0000000..391916b
--- /dev/null
+++ b/src/marker.mli
@@ -0,0 +1,4 @@
+type t
+val of_string : string -> t
+val pp        : out_channel -> t -> unit
+
-- 
cgit v1.2.3