Add equal functions for comparing various type values.

lib/codecs/codecs.ml

@@ -50,6 +50,9 @@ module Chain = struct
       (fun c acc -> acc >>= ArrayToArray.decode c)
       t.a2a (ArrayToBytes.decode y repr' t.a2b)
 
+  let equal x y =
+    x.a2a = y.a2a && x.a2b = y.a2b && x.b2b = y.b2b
+
   let to_yojson t =
     [%to_yojson: Yojson.Safe.t list] @@ 
     List.map ArrayToArray.to_yojson t.a2a @

lib/codecs/codecs.mli

@@ -53,6 +53,8 @@ module Chain : sig
       string ->
       (('a, 'b) Ndarray.t, [> error]) result
 
+  val equal : t -> t -> bool
+
   val of_yojson : Yojson.Safe.t -> (t, string) result
 
   val to_yojson : t -> Yojson.Safe.t

lib/dune

@@ -12,6 +12,7 @@
    (:standard -O3))
  (preprocess
    (pps
+     ppx_deriving.eq
      ppx_deriving.show
      ppx_deriving_yojson))
  (instrumentation

lib/extensions.mli

@@ -5,6 +5,7 @@ module RegularGrid : sig
   val grid_shape : t -> int array -> int array
   val indices : t -> int array -> int array list
   val index_coord_pair : t -> int array -> int array * int array
+  val equal : t -> t -> bool
   val of_yojson : Yojson.Safe.t -> (t, string) result
   val to_yojson : t -> Yojson.Safe.t
 end
@@ -18,6 +19,7 @@ module ChunkKeyEncoding : sig
   type t
   val create : separator -> t
   val encode : t -> int array -> string
+  val equal : t -> t -> bool
   val of_yojson : Yojson.Safe.t -> (t, string) result
   val to_yojson : t -> Yojson.Safe.t
 end
@@ -41,6 +43,7 @@ module Datatype : sig
     | Nativeint
   (** A type for the supported data types of a Zarr array. *)
 
+  val equal : t -> t -> bool
   val of_kind : ('a, 'b) Bigarray.kind -> t
   val of_yojson : Yojson.Safe.t -> (t, string) result
   val to_yojson : t -> Yojson.Safe.t