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