Merge pull request #14198 from MinaProtocol/volhovm/13901-pickles-types

[#13901] Implement accessors via derive_ppx
MinaProtocol · Sep 27, 2023 · 4ba4475 · 4ba4475
2 parents 8167366 + fee05d5
commit 4ba4475
Showing 1 changed file with 1 addition and 9 deletions.
diff --git 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 :