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