From fee05d53dfc72b54b5b4b4c6ccc10d000eab41b5 Mon Sep 17 00:00:00 2001
From: Mikhail Volkhov <volhovm.cs@gmail.com>
Date: Mon, 25 Sep 2023 10:52:50 +0100
Subject: [PATCH] [#13901] Implement accessors via derive_ppx

---
 src/lib/pickles_types/plonk_types.mli | 10 +---------
 1 file changed, 1 insertion(+), 9 deletions(-)

diff --git a/src/lib/pickles_types/plonk_types.mli b/src/lib/pickles_types/plonk_types.mli
index 6c3b7c7744c..769ce96ae61 100644
--- a/src/lib/pickles_types/plonk_types.mli
+++ b/src/lib/pickles_types/plonk_types.mli
@@ -191,15 +191,7 @@ module Messages : sig
           , 'bool )
           Opt.t
       }
-
-    (** Field accessors *)
-
-    val w_comm :
-      ('g, 'bool) t -> 'g Poly_comm.Without_degree_bound.t Columns_vec.t
-
-    val z_comm : ('g, 'bool) t -> 'g Poly_comm.Without_degree_bound.t
-
-    val t_comm : ('g, 'bool) t -> 'g Poly_comm.Without_degree_bound.t
+    [@@deriving fields]
   end
 
   val typ :