From 01d7f77f65c3a2b83978b1f00c87b54f00647816 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Wed, 25 Oct 2017 14:50:32 +0200 Subject: Update sheet traversal --- catalog.ml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'catalog.ml') diff --git a/catalog.ml b/catalog.ml index 19fb3f4..bd17a18 100755 --- a/catalog.ml +++ b/catalog.ml @@ -3,7 +3,7 @@ module type DATA_SIG = sig type 'a typ - type 'a result + type 'a returnType val compare_typ: 'a typ -> 'b typ -> ('a, 'b) T.cmp @@ -20,9 +20,9 @@ module Make(Data:DATA_SIG) = struct (** This is the way the function is store in the map. We just the return type, and the function itself. *) type _ t_function = - | Fn1: 'b Data.result * ('a -> 'b) -> 'a t_function - | Fn2: 'c Data.result * ('a -> 'b -> 'c) -> ('a * 'b) t_function - | Fn3: 'd Data.result * ('a -> 'b -> 'c -> 'd) -> ('a * 'b * 'c) t_function + | Fn1: 'b Data.returnType * ('a -> 'b) -> 'a t_function + | Fn2: 'c Data.returnType * ('a -> 'b -> 'c) -> ('a * 'b) t_function + | Fn3: 'd Data.returnType * ('a -> 'b -> 'c -> 'd) -> ('a * 'b * 'c) t_function (** This is the key for storing functions in the map. *) type _ sig_typ = -- cgit v1.2.3