diff options
Diffstat (limited to 'catalog.mli')
| -rw-r--r-- | catalog.mli | 10 |
1 files changed, 5 insertions, 5 deletions
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 |