pkgs/development/coq-modules/serapi/janestreet-0.16.patch

   1 diff --git a/serlib/ser_stdlib.ml b/serlib/ser_stdlib.ml
   2 index 894d300..11c9217 100644
   3 --- a/serlib/ser_stdlib.ml
   4 +++ b/serlib/ser_stdlib.ml
   5 @@ -28,6 +28,7 @@ let ref_to_yojson f x = f !x
   6  let ref_of_yojson f x = Result.map (fun x -> ref x) (f x)
   7  let hash_fold_ref = hash_fold_ref_frozen
   8  let compare_ref = compare_ref
   9 +let (==) x y = (==) x y
  10
  11  module Lazy = struct
  12    type 'a t = 'a lazy_t
  13 @@ -35,3 +36,4 @@ module Lazy = struct
  14  end
  15
  16  module Option = Stdlib.Option
  17 +module List = Stdlib.List