diff --git a/src/lib_protocol_environment/sigs/v9.ml b/src/lib_protocol_environment/sigs/v9.ml
index 439abcf84e81bcf8996d9d34dcce44dd157104e3..92d867725c6dbb506c75d071f1250a6438f610cd 100644
--- a/src/lib_protocol_environment/sigs/v9.ml
+++ b/src/lib_protocol_environment/sigs/v9.ml
@@ -6612,29 +6612,15 @@ val assoc : equal:('a -> 'a -> bool) -> 'a -> ('a * 'b) list -> 'b option
     {!Stdlib.List}. *)
 val assoc_opt : equal:('a -> 'a -> bool) -> 'a -> ('a * 'b) list -> 'b option
 
-(** [assq k kvs] is the same as [assoc ~equal:Stdlib.( == ) k kvs]: it uses
-    the physical equality. *)
-val assq : 'a -> ('a * 'b) list -> 'b option
-
-(** [assq_opt] is an alias for [assq] provided for compatibility with
-    {!Stdlib.List}. *)
-val assq_opt : 'a -> ('a * 'b) list -> 'b option
-
 (** [mem_assoc ~equal k l] is equivalent to
     [Option.is_some @@ assoc ~equal k l]. *)
 val mem_assoc : equal:('a -> 'a -> bool) -> 'a -> ('a * 'b) list -> bool
 
-(** [mem_assq k l] is [mem_assoc ~equal:Stdlib.( == ) k l]. *)
-val mem_assq : 'a -> ('a * 'b) list -> bool
-
 (** [remove_assoc ~equal k l] is [l] without the first element [(k', _)] such
     that [equal k k']. *)
 val remove_assoc :
   equal:('a -> 'a -> bool) -> 'a -> ('a * 'b) list -> ('a * 'b) list
 
-(** [remove_assoq k l] is [remove_assoc ~equal:Stdlib.( == ) k l]. *)
-val remove_assq : 'a -> ('a * 'b) list -> ('a * 'b) list
-
 (** {3 Initialisation} *)
 
 (** [init ~when_negative_length n f] is a list of [n] elements [f 0], [f 1],
diff --git a/src/lib_protocol_environment/sigs/v9/list.mli b/src/lib_protocol_environment/sigs/v9/list.mli
index ef98a9ea69c9cff91d8ab4acff37faa5c92a555d..08593807d993e012fc4e79d75ac21eb949f9f99a 100644
--- a/src/lib_protocol_environment/sigs/v9/list.mli
+++ b/src/lib_protocol_environment/sigs/v9/list.mli
@@ -180,29 +180,15 @@ val assoc : equal:('a -> 'a -> bool) -> 'a -> ('a * 'b) list -> 'b option
     {!Stdlib.List}. *)
 val assoc_opt : equal:('a -> 'a -> bool) -> 'a -> ('a * 'b) list -> 'b option
 
-(** [assq k kvs] is the same as [assoc ~equal:Stdlib.( == ) k kvs]: it uses
-    the physical equality. *)
-val assq : 'a -> ('a * 'b) list -> 'b option
-
-(** [assq_opt] is an alias for [assq] provided for compatibility with
-    {!Stdlib.List}. *)
-val assq_opt : 'a -> ('a * 'b) list -> 'b option
-
 (** [mem_assoc ~equal k l] is equivalent to
     [Option.is_some @@ assoc ~equal k l]. *)
 val mem_assoc : equal:('a -> 'a -> bool) -> 'a -> ('a * 'b) list -> bool
 
-(** [mem_assq k l] is [mem_assoc ~equal:Stdlib.( == ) k l]. *)
-val mem_assq : 'a -> ('a * 'b) list -> bool
-
 (** [remove_assoc ~equal k l] is [l] without the first element [(k', _)] such
     that [equal k k']. *)
 val remove_assoc :
   equal:('a -> 'a -> bool) -> 'a -> ('a * 'b) list -> ('a * 'b) list
 
-(** [remove_assoq k l] is [remove_assoc ~equal:Stdlib.( == ) k l]. *)
-val remove_assq : 'a -> ('a * 'b) list -> ('a * 'b) list
-
 (** {3 Initialisation} *)
 
 (** [init ~when_negative_length n f] is a list of [n] elements [f 0], [f 1],