From ef312564ca84a2b49fc291434d8fb2f8501bb618 Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Tue, 15 Nov 2016 13:00:01 +0100
Subject: Initial commit

---
 catalog.mli | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100755 catalog.mli

(limited to 'catalog.mli')

diff --git a/catalog.mli b/catalog.mli
new file mode 100755
index 0000000..583db14
--- /dev/null
+++ b/catalog.mli
@@ -0,0 +1,4 @@
+
+val register: UTF8.t -> (ScTypes.types list -> ScTypes.types) -> unit
+
+val eval: UTF8.t -> ScTypes.types list -> ScTypes.types
-- 
cgit v1.2.3