diff options
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
|