From 824f2987d47e87d58ee2a4a96d7be417aad6aeab Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Wed, 31 Jan 2018 13:20:20 +0100 Subject: API refactoring : made the GADT abstract, provide contructor for each case, and deported the expression with evaluation with module functors --- src/functions.mli | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/functions.mli') diff --git a/src/functions.mli b/src/functions.mli index c6904b2..43a6fc2 100755 --- a/src/functions.mli +++ b/src/functions.mli @@ -9,13 +9,13 @@ 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 typ_of_format: 'a ScTypes.DataFormat.t -> '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 + and type 'a returnType = 'a ScTypes.ReturnType.t (** Load all the built_in functions *) val built_in: C.catalog_builder -> C.catalog_builder -- cgit v1.2.3