1 files changed, 8 insertions, 0 deletions
diff --git a/cmdline.ml b/cmdline.ml
new file mode 100644
index 0000000..b8f8ea8
--- /dev/null
+++ b/cmdline.ml
@@ -0,0 +1,8 @@
+open Ast
+
+type cmdline_opt = {
+    widen_delay       : int;
+    disjunct          : (id -> bool);
+    verbose_ci        : bool;
+    vverbose_ci       : bool;
+}