diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2017-11-24 13:46:00 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@chimrod.com> | 2017-11-27 10:53:30 +0100 |
commit | 098ac444e731d7674d8910264ae58fb876618a5a (patch) | |
tree | 8f4c9ab6ddcbed53f1ad2d993db98b688c41396a /src/functions.mli | |
parent | a6b5a6bdd138a5ccc6827bcc73580df1e9218820 (diff) |
Move function in their own modules
Diffstat (limited to 'src/functions.mli')
-rwxr-xr-x | src/functions.mli | 21 |
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
|