From 098ac444e731d7674d8910264ae58fb876618a5a Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Fri, 24 Nov 2017 13:46:00 +0100
Subject: Move function in their own modules

---
 src/functions.mli | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100755 src/functions.mli

(limited to 'src/functions.mli')

diff --git a/src/functions.mli b/src/functions.mli
new file mode 100755
index 0000000..c6904b2
--- /dev/null
+++ b/src/functions.mli
@@ -0,0 +1,21 @@
+
+(** Function signature *)
+
+type 'a typ
+
+val t_unit:       unit typ
+val t_bool:       DataType.Bool.t typ
+val t_int:        DataType.Num.t  typ
+val t_string:     UTF8.t typ
+val t_list: 'a typ -> 'a list typ
+
+val typ_of_format: 'a ScTypes.dataFormat -> 'a typ
+
+val repr: Format.formatter -> 'a typ -> unit
+
+module C : Catalog.CATALOG 
+  with type 'a argument = 'a typ
+  and  type 'a returnType = 'a ScTypes.returnType
+
+(** Load all the built_in functions *)
+val built_in: C.catalog_builder -> C.catalog_builder
-- 
cgit v1.2.3