From 01d7f77f65c3a2b83978b1f00c87b54f00647816 Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Wed, 25 Oct 2017 14:50:32 +0200
Subject: Update sheet traversal

---
 catalog.mli | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'catalog.mli')

diff --git a/catalog.mli b/catalog.mli
index d2bb707..d5e5cfd 100644
--- a/catalog.mli
+++ b/catalog.mli
@@ -2,7 +2,7 @@ module type DATA_SIG = sig
 
   type 'a typ
   
-  type 'a result
+  type 'a returnType
   
   val compare_typ: 'a typ -> 'b typ -> ('a, 'b) Tools.cmp
   
@@ -13,9 +13,9 @@ module Make(D:DATA_SIG): sig
   type t
 
   type 'a t_function =
-    | Fn1: 'b D.result * ('a -> 'b) -> 'a t_function
-    | Fn2: 'c D.result * ('a -> 'b -> 'c) -> ('a * 'b) t_function
-    | Fn3: 'd D.result * ('a -> 'b -> 'c -> 'd) -> ('a * 'b * 'c) t_function
+    | Fn1: 'b D.returnType * ('a -> 'b) -> 'a t_function
+    | Fn2: 'c D.returnType * ('a -> 'b -> 'c) -> ('a * 'b) t_function
+    | Fn3: 'd D.returnType * ('a -> 'b -> 'c -> 'd) -> ('a * 'b * 'c) t_function
 
   type 'a sig_typ =
     | T1: 'a D.typ -> 'a t_function sig_typ
@@ -26,7 +26,7 @@ module Make(D:DATA_SIG): sig
   val empty: t
 
   (** Register a new function in the catalog *)
-  val register : t -> string -> 'a sig_typ -> 'a -> t
+  val register : t -> string -> 'a t_function sig_typ -> 'a t_function -> t
 
   (** Find a function with the given name and signature *)
   val find_function: t -> string -> 'a t_function sig_typ -> 'a t_function
-- 
cgit v1.2.3