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/options.mli | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 src/options.mli

(limited to 'src/options.mli')

diff --git a/src/options.mli b/src/options.mli
new file mode 100644
index 0000000..64bee51
--- /dev/null
+++ b/src/options.mli
@@ -0,0 +1,4 @@
+type t
+val default : t
+val with_height : int -> t -> t
+val with_marker : Marker.t -> t -> t
-- 
cgit v1.2.3