diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2017-10-25 14:50:32 +0200 |
---|---|---|
committer | Sébastien Dailly <sebastien@chimrod.com> | 2017-10-31 16:02:40 +0100 |
commit | 01d7f77f65c3a2b83978b1f00c87b54f00647816 (patch) | |
tree | 32a83b8c529b0bc10917520918a49774ed32be9a /catalog.ml | |
parent | 85231845871c841089308c9bc92569d36cb548db (diff) |
Update sheet traversal
Diffstat (limited to 'catalog.ml')
-rwxr-xr-x | catalog.ml | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -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 =
|