1 files changed, 4 insertions, 0 deletions

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
+