diff options
Diffstat (limited to 'src/splay.ml')
| -rw-r--r-- | src/splay.ml | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/splay.ml b/src/splay.ml index ec5750c..4bbc3dd 100644 --- a/src/splay.ml +++ b/src/splay.ml @@ -1,10 +1,11 @@ module type KEY = sig - type 'a t + type 'a t - val comp: 'a t -> 'b t -> ('a, 'b) Tools.cmp + (** Parametrized comparator *) + val comp: 'a t -> 'b t -> ('a, 'b) Tools.cmp - val repr: Format.formatter -> 'a t -> unit + val repr: Format.formatter -> 'a t -> unit end |