From 113d03225f4546e8f59139a32fa6de3e85b2c9a3 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 2 Nov 2018 20:17:36 -0500 Subject: [PATCH] add `CCEqual.{always,never}_eq` close #232 --- src/core/CCEqual.ml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/core/CCEqual.ml b/src/core/CCEqual.ml index 13ee4d79..211835b6 100644 --- a/src/core/CCEqual.ml +++ b/src/core/CCEqual.ml @@ -44,6 +44,9 @@ let map f eq x y = eq (f x) (f y) CCEqual.(list (pair int bool)) l1 l2 = (l1=l2)) *) +let always_eq _ _ = true +let never_eq _ _ = false + module Infix = struct let (>|=) x f = map f x end