diff --git a/src/core/CCOrd.ml b/src/core/CCOrd.ml index 413b2453..9a6b8513 100644 --- a/src/core/CCOrd.ml +++ b/src/core/CCOrd.ml @@ -8,6 +8,7 @@ open CCShims_ type 'a t = 'a -> 'a -> int (** Comparison (total ordering) between two elements, that returns an int *) +let poly = Stdlib.compare let compare = Stdlib.compare let opp f x y = - (f x y)