Add <> to comparable ops and add such ops to Bool

Signed-off-by: Rudi Grinberg <[email protected]>

src/stdune/bool.ml

@@ -1,12 +1,15 @@
-type t = bool
-
 let compare x y =
   match x, y with
   | true, true
   | false, false -> Ordering.Eq
   | true, false -> Gt
   | false, true -> Lt
 
+include Comparable.Operators(struct
+    type nonrec t = bool
+    let compare = compare
+  end)
+
 let to_string = string_of_bool
 
 let of_string s = Option.try_with (fun () -> bool_of_string s)

src/stdune/bool.mli

@@ -2,6 +2,8 @@ type t = bool
 
 val compare : t -> t -> Ordering.t
 
+include Comparable.OPS with type t := t
+
 val to_string : t -> string
 
 val of_string : string -> t option

src/stdune/comparable.ml

@@ -11,6 +11,7 @@ module type OPS = sig
   val (>) : t -> t -> bool
   val (<=) : t -> t -> bool
   val (<) : t -> t -> bool
+  val (<>) : t -> t -> bool
 end
 
 module Operators (X : S) = struct
@@ -22,6 +23,7 @@ module Operators (X : S) = struct
     | Gt | Lt -> false
 
   let equal = (=)
+  let (<>) a b = not (a = b)
 
   let (>=) a b =
     match X.compare a b with

src/stdune/comparable.mli

@@ -11,6 +11,7 @@ module type OPS = sig
   val (>) : t -> t -> bool
   val (<=) : t -> t -> bool
   val (<) : t -> t -> bool
+  val (<>) : t -> t -> bool
 end
 
 module Operators (X : S) : OPS with type t = X.t