From 294fce863477f54fa2ec3f06b8aba70c92bc1b18 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sun, 6 Jun 2021 17:39:09 -0400 Subject: [PATCH] fixup! feat(ord): add `poly`, deprecate `compare` --- src/core/CCOrd.ml | 1 + 1 file changed, 1 insertion(+) 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)