1 files changed, 4 insertions, 0 deletions
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