diff --git a/manifest/main.ml b/manifest/main.ml
index 142f1fc585f61116054862f20d98940d4283e0c9..e19d40ecb193592e7d35e4c7524f4fe2facd31a0 100644
--- a/manifest/main.ml
+++ b/manifest/main.ml
@@ -1740,18 +1740,17 @@ let _octez_sapling_ctypes_gen =
       ["rustzcash_ctypes_gen"; "rustzcash_ctypes_bindings"; "gen_runtime_js"]
     ~opam_with_test:Never
 
-let tezos_protocol_environment_sigs_stdlib_compat =
+let tezos_protocol_environment_sigs_internals =
   public_lib
-    "tezos-protocol-environment.sigs.stdlib-compat"
-    ~path:"src/lib_protocol_environment/sigs/stdlib_compat"
-    ~modules_without_implementation:["V_all"; "V2"; "V3"; "V4"]
+    "tezos-protocol-environment.sigs-internals"
+    ~path:"src/lib_protocol_environment/sigs-internals"
 
 let tezos_protocol_environment_sigs =
   public_lib
     "tezos-protocol-environment.sigs"
     ~path:"src/lib_protocol_environment/sigs"
     ~ocaml:V.(at_least "4.12")
-    ~deps:[tezos_protocol_environment_sigs_stdlib_compat]
+    ~deps:[tezos_protocol_environment_sigs_internals]
     ~flags:(Flags.standard ~nopervasives:true ~nostdlib:true ())
     ~dune:
       (let gen n =
@@ -1945,15 +1944,7 @@ let octez_protocol_compiler_lib =
                   ];
                 S "%{lib:stdlib:camlinternalFormatBasics.cmi}";
                 S
-                  "%{lib:tezos-protocol-environment.sigs.stdlib-compat:tezos_protocol_environment_sigs_stdlib_compat.cmi}";
-                S
-                  "%{lib:tezos-protocol-environment.sigs.stdlib-compat:tezos_protocol_environment_sigs_stdlib_compat__V_all.cmi}";
-                S
-                  "%{lib:tezos-protocol-environment.sigs.stdlib-compat:tezos_protocol_environment_sigs_stdlib_compat__V2.cmi}";
-                S
-                  "%{lib:tezos-protocol-environment.sigs.stdlib-compat:tezos_protocol_environment_sigs_stdlib_compat__V3.cmi}";
-                S
-                  "%{lib:tezos-protocol-environment.sigs.stdlib-compat:tezos_protocol_environment_sigs_stdlib_compat__V4.cmi}";
+                  "%{lib:tezos-protocol-environment.sigs-internals:tezos_protocol_environment_sigs_internals.cmi}";
                 S
                   "%{lib:tezos-protocol-environment.sigs:tezos_protocol_environment_sigs.cmi}";
                 S
diff --git a/src/lib_protocol_compiler/dune b/src/lib_protocol_compiler/dune
index b7839bc743d2fc8bc9fe491b6e2822a4c88d1ab4..815f7facf620cad3dc393e13b4374997464d2717 100644
--- a/src/lib_protocol_compiler/dune
+++ b/src/lib_protocol_compiler/dune
@@ -28,11 +28,7 @@
   (run
    %{bin:ocp-ocamlres} -format variants -o %{targets}
    %{lib:stdlib:camlinternalFormatBasics.cmi}
-   %{lib:tezos-protocol-environment.sigs.stdlib-compat:tezos_protocol_environment_sigs_stdlib_compat.cmi}
-   %{lib:tezos-protocol-environment.sigs.stdlib-compat:tezos_protocol_environment_sigs_stdlib_compat__V_all.cmi}
-   %{lib:tezos-protocol-environment.sigs.stdlib-compat:tezos_protocol_environment_sigs_stdlib_compat__V2.cmi}
-   %{lib:tezos-protocol-environment.sigs.stdlib-compat:tezos_protocol_environment_sigs_stdlib_compat__V3.cmi}
-   %{lib:tezos-protocol-environment.sigs.stdlib-compat:tezos_protocol_environment_sigs_stdlib_compat__V4.cmi}
+   %{lib:tezos-protocol-environment.sigs-internals:tezos_protocol_environment_sigs_internals.cmi}
    %{lib:tezos-protocol-environment.sigs:tezos_protocol_environment_sigs.cmi}
    %{lib:tezos-protocol-environment.sigs:tezos_protocol_environment_sigs__V0.cmi}
    %{lib:tezos-protocol-environment.sigs:tezos_protocol_environment_sigs__V1.cmi}
diff --git a/src/lib_protocol_compiler/embedded_cmis.mli b/src/lib_protocol_compiler/embedded_cmis.mli
deleted file mode 100644
index 73e194ee66f6281598fe1fb4b663e6636fb31d1f..0000000000000000000000000000000000000000
--- a/src/lib_protocol_compiler/embedded_cmis.mli
+++ /dev/null
@@ -1,56 +0,0 @@
-(*****************************************************************************)
-(*                                                                           *)
-(* Open Source License                                                       *)
-(* Copyright (c) 2018 Dynamic Ledger Solutions, Inc. <contact@tezos.com>     *)
-(*                                                                           *)
-(* Permission is hereby granted, free of charge, to any person obtaining a   *)
-(* copy of this software and associated documentation files (the "Software"),*)
-(* to deal in the Software without restriction, including without limitation *)
-(* the rights to use, copy, modify, merge, publish, distribute, sublicense,  *)
-(* and/or sell copies of the Software, and to permit persons to whom the     *)
-(* Software is furnished to do so, subject to the following conditions:      *)
-(*                                                                           *)
-(* The above copyright notice and this permission notice shall be included   *)
-(* in all copies or substantial portions of the Software.                    *)
-(*                                                                           *)
-(* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR*)
-(* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,  *)
-(* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL   *)
-(* THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER*)
-(* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING   *)
-(* FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER       *)
-(* DEALINGS IN THE SOFTWARE.                                                 *)
-(*                                                                           *)
-(*****************************************************************************)
-
-val camlinternalFormatBasics_cmi : string
-
-val tezos_protocol_environment_sigs_stdlib_compat_cmi : string
-
-val tezos_protocol_environment_sigs_stdlib_compat__V_all_cmi : string
-
-val tezos_protocol_environment_sigs_stdlib_compat__V2_cmi : string
-
-val tezos_protocol_environment_sigs_stdlib_compat__V3_cmi : string
-
-val tezos_protocol_environment_sigs_stdlib_compat__V4_cmi : string
-
-val tezos_protocol_environment_sigs_cmi : string
-
-val tezos_protocol_environment_sigs__V0_cmi : string
-
-val tezos_protocol_environment_sigs__V1_cmi : string
-
-val tezos_protocol_environment_sigs__V2_cmi : string
-
-val tezos_protocol_environment_sigs__V3_cmi : string
-
-val tezos_protocol_environment_sigs__V4_cmi : string
-
-val tezos_protocol_environment_sigs__V5_cmi : string
-
-val tezos_protocol_environment_sigs__V6_cmi : string
-
-val tezos_protocol_environment_sigs__V7_cmi : string
-
-val tezos_protocol_registerer_cmi : string
diff --git a/src/lib_protocol_environment/sigs-internals/dune b/src/lib_protocol_environment/sigs-internals/dune
new file mode 100644
index 0000000000000000000000000000000000000000..e8ae24edc93c134cdb9f1ef01c7a7a7a1bdfb005
--- /dev/null
+++ b/src/lib_protocol_environment/sigs-internals/dune
@@ -0,0 +1,7 @@
+; This file was automatically generated, do not edit.
+; Edit file manifest/main.ml instead.
+
+(library
+ (name tezos_protocol_environment_sigs_internals)
+ (public_name tezos-protocol-environment.sigs-internals)
+ (instrumentation (backend bisect_ppx)))
diff --git a/src/lib_protocol_environment/sigs/stdlib_compat/v_all.mli b/src/lib_protocol_environment/sigs-internals/tezos_protocol_environment_sigs_internals.ml
similarity index 97%
rename from src/lib_protocol_environment/sigs/stdlib_compat/v_all.mli
rename to src/lib_protocol_environment/sigs-internals/tezos_protocol_environment_sigs_internals.ml
index 765202cd13427d37f83bb527f9f0d4b6d40df23d..f7d352def63fc639b1f42b5517bde6dec2da91d8 100644
--- a/src/lib_protocol_environment/sigs/stdlib_compat/v_all.mli
+++ b/src/lib_protocol_environment/sigs-internals/tezos_protocol_environment_sigs_internals.ml
@@ -26,6 +26,6 @@
 (* Type equalities for the restricted typing environment of the
    economic protocols *)
 
-module CamlinternalFormatBasics : module type of struct
+module CamlinternalFormatBasics = struct
   include CamlinternalFormatBasics
 end
diff --git a/src/lib_protocol_environment/sigs/dune b/src/lib_protocol_environment/sigs/dune
index 25d2a8559c50910e52d2afbcfc20fec23892e0f4..0ed759cb746602d435ee5865ceae27b1e7c5d047 100644
--- a/src/lib_protocol_environment/sigs/dune
+++ b/src/lib_protocol_environment/sigs/dune
@@ -6,7 +6,7 @@
  (public_name tezos-protocol-environment.sigs)
  (instrumentation (backend bisect_ppx))
  (libraries
-  tezos-protocol-environment.sigs.stdlib-compat)
+  tezos-protocol-environment.sigs-internals)
  (flags
   (:standard)
   -nostdlib
diff --git a/src/lib_protocol_environment/sigs/stdlib_compat/dune b/src/lib_protocol_environment/sigs/stdlib_compat/dune
deleted file mode 100644
index f5542e8118b0e65e4971497084f84a74d405e297..0000000000000000000000000000000000000000
--- a/src/lib_protocol_environment/sigs/stdlib_compat/dune
+++ /dev/null
@@ -1,8 +0,0 @@
-; This file was automatically generated, do not edit.
-; Edit file manifest/main.ml instead.
-
-(library
- (name tezos_protocol_environment_sigs_stdlib_compat)
- (public_name tezos-protocol-environment.sigs.stdlib-compat)
- (instrumentation (backend bisect_ppx))
- (modules_without_implementation V_all V2 V3 V4))
diff --git a/src/lib_protocol_environment/sigs/stdlib_compat/v3.mli b/src/lib_protocol_environment/sigs/stdlib_compat/v3.mli
deleted file mode 100644
index cd809db98f8231ac38c5860eb8e9e1c15ea2633c..0000000000000000000000000000000000000000
--- a/src/lib_protocol_environment/sigs/stdlib_compat/v3.mli
+++ /dev/null
@@ -1,39 +0,0 @@
-(*****************************************************************************)
-(*                                                                           *)
-(* Open Source License                                                       *)
-(* Copyright (c) 2022 G.B. Fefe <gb.fefe@protonmail.com>                     *)
-(*                                                                           *)
-(* Permission is hereby granted, free of charge, to any person obtaining a   *)
-(* copy of this software and associated documentation files (the "Software"),*)
-(* to deal in the Software without restriction, including without limitation *)
-(* the rights to use, copy, modify, merge, publish, distribute, sublicense,  *)
-(* and/or sell copies of the Software, and to permit persons to whom the     *)
-(* Software is furnished to do so, subject to the following conditions:      *)
-(*                                                                           *)
-(* The above copyright notice and this permission notice shall be included   *)
-(* in all copies or substantial portions of the Software.                    *)
-(*                                                                           *)
-(* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR*)
-(* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,  *)
-(* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL   *)
-(* THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER*)
-(* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING   *)
-(* FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER       *)
-(* DEALINGS IN THE SOFTWARE.                                                 *)
-(*                                                                           *)
-(*****************************************************************************)
-
-(* Type equalities for the restricted typing environment of the
-   economic protocols *)
-
-module Stdlib : sig
-  module Seq : sig
-    type 'a t = unit -> 'a node
-
-    and +'a node = 'a Stdlib.Seq.node = Nil | Cons of 'a * 'a t
-  end
-
-  module List : sig
-    type 'a t = 'a Stdlib.List.t = [] | ( :: ) of 'a * 'a list
-  end
-end
diff --git a/src/lib_protocol_environment/sigs/stdlib_compat/v4.mli b/src/lib_protocol_environment/sigs/stdlib_compat/v4.mli
deleted file mode 100644
index 3a3deee624c2e1f2ca206ee8762ad91f9dd6510b..0000000000000000000000000000000000000000
--- a/src/lib_protocol_environment/sigs/stdlib_compat/v4.mli
+++ /dev/null
@@ -1,35 +0,0 @@
-(*****************************************************************************)
-(*                                                                           *)
-(* Open Source License                                                       *)
-(* Copyright (c) 2022 G.B. Fefe <gb.fefe@protonmail.com>                     *)
-(*                                                                           *)
-(* Permission is hereby granted, free of charge, to any person obtaining a   *)
-(* copy of this software and associated documentation files (the "Software"),*)
-(* to deal in the Software without restriction, including without limitation *)
-(* the rights to use, copy, modify, merge, publish, distribute, sublicense,  *)
-(* and/or sell copies of the Software, and to permit persons to whom the     *)
-(* Software is furnished to do so, subject to the following conditions:      *)
-(*                                                                           *)
-(* The above copyright notice and this permission notice shall be included   *)
-(* in all copies or substantial portions of the Software.                    *)
-(*                                                                           *)
-(* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR*)
-(* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,  *)
-(* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL   *)
-(* THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER*)
-(* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING   *)
-(* FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER       *)
-(* DEALINGS IN THE SOFTWARE.                                                 *)
-(*                                                                           *)
-(*****************************************************************************)
-
-(* Type equalities for the restricted typing environment of the
-   economic protocols *)
-
-module Stdlib : sig
-  module Seq : sig
-    type 'a t = unit -> 'a node
-
-    and +'a node = 'a Stdlib.Seq.node = Nil | Cons of 'a * 'a t
-  end
-end
diff --git a/src/lib_protocol_environment/sigs/v0.in.ml b/src/lib_protocol_environment/sigs/v0.in.ml
index 6a4060764e1b2adbdc5e0cb69bec8a00ff36a818..cbdede08a78f3c5885c6f3b2e3b5bf6a28bc88c9 100644
--- a/src/lib_protocol_environment/sigs/v0.in.ml
+++ b/src/lib_protocol_environment/sigs/v0.in.ml
@@ -1,4 +1,4 @@
-open Tezos_protocol_environment_sigs_stdlib_compat.V_all
+open Tezos_protocol_environment_sigs_internals
 
 module type T = sig
   module Pervasives : [%sig "v0/pervasives.mli"]
diff --git a/src/lib_protocol_environment/sigs/v0.ml b/src/lib_protocol_environment/sigs/v0.ml
index c1c276cde192696bda9d9bcd9c04b77a9a7344e0..0634a006be9bc8f38180411911b4316e4702aee9 100644
--- a/src/lib_protocol_environment/sigs/v0.ml
+++ b/src/lib_protocol_environment/sigs/v0.ml
@@ -1,7 +1,7 @@
 (* This file was automatically generated, do not edit.*)
 (* Edit file v0.in.ml instead. *)
 # 1 "v0.in.ml"
-open Tezos_protocol_environment_sigs_stdlib_compat.V_all
+open Tezos_protocol_environment_sigs_internals
 
 module type T = sig
   module Pervasives : sig
diff --git a/src/lib_protocol_environment/sigs/v1.in.ml b/src/lib_protocol_environment/sigs/v1.in.ml
index 6a447799d84002e8b81e19816530fcdc50e4c3c6..c5f8d3885723d832808a5ca2fa9665722208c2e3 100644
--- a/src/lib_protocol_environment/sigs/v1.in.ml
+++ b/src/lib_protocol_environment/sigs/v1.in.ml
@@ -1,4 +1,4 @@
-open Tezos_protocol_environment_sigs_stdlib_compat.V_all
+open Tezos_protocol_environment_sigs_internals
 
 module type T = sig
   module Pervasives : [%sig "v1/pervasives.mli"]
diff --git a/src/lib_protocol_environment/sigs/v1.ml b/src/lib_protocol_environment/sigs/v1.ml
index 82bdb5a3b61ada5485100752cbd5e1058e93bc75..93a3dae832a53f444a863e02be9f0dbdbe2ed1bf 100644
--- a/src/lib_protocol_environment/sigs/v1.ml
+++ b/src/lib_protocol_environment/sigs/v1.ml
@@ -1,7 +1,7 @@
 (* This file was automatically generated, do not edit.*)
 (* Edit file v1.in.ml instead. *)
 # 1 "v1.in.ml"
-open Tezos_protocol_environment_sigs_stdlib_compat.V_all
+open Tezos_protocol_environment_sigs_internals
 
 module type T = sig
   module Pervasives : sig
diff --git a/src/lib_protocol_environment/sigs/v2.in.ml b/src/lib_protocol_environment/sigs/v2.in.ml
index 1a5de1eae8a251ed9f4880a56adb69673dffce35..fafe5618381e86fc526fc8b69645b4e2c5baebca 100644
--- a/src/lib_protocol_environment/sigs/v2.in.ml
+++ b/src/lib_protocol_environment/sigs/v2.in.ml
@@ -1,10 +1,12 @@
-open Tezos_protocol_environment_sigs_stdlib_compat.V_all
+open Tezos_protocol_environment_sigs_internals
 
 module type T = sig
   module Pervasives : [%sig "v2/pervasives.mli"]
 
   open Pervasives
 
+  module Seq : [%sig "v2/seq.mli"]
+
   module List : [%sig "v2/list.mli"]
 
   module String : [%sig "v2/string.mli"]
diff --git a/src/lib_protocol_environment/sigs/v2.ml b/src/lib_protocol_environment/sigs/v2.ml
index 2c88f01cf2f94c8c77c6cd8ddd485fa44c70b66c..032c8534dee916df5da4d829aebdb19eb7667ce8 100644
--- a/src/lib_protocol_environment/sigs/v2.ml
+++ b/src/lib_protocol_environment/sigs/v2.ml
@@ -1,7 +1,7 @@
 (* This file was automatically generated, do not edit.*)
 (* Edit file v2.in.ml instead. *)
 # 1 "v2.in.ml"
-open Tezos_protocol_environment_sigs_stdlib_compat.V_all
+open Tezos_protocol_environment_sigs_internals
 
 module type T = sig
   module Pervasives : sig
@@ -494,6 +494,40 @@ end
 
   open Pervasives
 
+  module Seq : sig
+# 1 "v2/seq.mli"
+(*****************************************************************************)
+(*                                                                           *)
+(* Open Source License                                                       *)
+(* Copyright (c) 2022 Nomadic Labs <contact@nomadic-labs.com>                *)
+(*                                                                           *)
+(* Permission is hereby granted, free of charge, to any person obtaining a   *)
+(* copy of this software and associated documentation files (the "Software"),*)
+(* to deal in the Software without restriction, including without limitation *)
+(* the rights to use, copy, modify, merge, publish, distribute, sublicense,  *)
+(* and/or sell copies of the Software, and to permit persons to whom the     *)
+(* Software is furnished to do so, subject to the following conditions:      *)
+(*                                                                           *)
+(* The above copyright notice and this permission notice shall be included   *)
+(* in all copies or substantial portions of the Software.                    *)
+(*                                                                           *)
+(* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR*)
+(* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,  *)
+(* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL   *)
+(* THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER*)
+(* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING   *)
+(* FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER       *)
+(* DEALINGS IN THE SOFTWARE.                                                 *)
+(*                                                                           *)
+(*****************************************************************************)
+
+type 'a t = unit -> 'a node
+
+and +'a node = Nil | Cons of 'a * 'a t
+end
+# 8 "v2.in.ml"
+
+
   module List : sig
 # 1 "v2/list.mli"
 (**************************************************************************)
@@ -787,7 +821,7 @@ val merge : ('a -> 'a -> int) -> 'a list -> 'a list -> 'a list
     Not tail-recursive (sum of the lengths of the arguments).
 *)
 end
-# 8 "v2.in.ml"
+# 10 "v2.in.ml"
 
 
   module String : sig
@@ -1035,7 +1069,7 @@ val split_on_char: char -> string -> string list
     @since 4.04.0
 *)
 end
-# 10 "v2.in.ml"
+# 12 "v2.in.ml"
 
 
   module Char : sig
@@ -1095,7 +1129,7 @@ val equal: t -> t -> bool
 (** The equal function for chars.
     @since 4.03.0 *)
 end
-# 12 "v2.in.ml"
+# 14 "v2.in.ml"
 
 
   module Bytes : sig
@@ -1361,7 +1395,7 @@ val equal: t -> t -> bool
 (** The equality function for byte sequences.
     @since 4.03.0 *)
 end
-# 14 "v2.in.ml"
+# 16 "v2.in.ml"
 
 
   module Int32 : sig
@@ -1511,7 +1545,7 @@ val equal: t -> t -> bool
 (** The equal function for int32s.
     @since 4.03.0 *)
 end
-# 16 "v2.in.ml"
+# 18 "v2.in.ml"
 
 
   module Int64 : sig
@@ -1669,7 +1703,7 @@ val equal: t -> t -> bool
 (** The equal function for int64s.
     @since 4.03.0 *)
 end
-# 18 "v2.in.ml"
+# 20 "v2.in.ml"
 
 
   module Format : sig
@@ -2422,7 +2456,7 @@ val kasprintf : (string -> 'a) -> ('b, formatter, unit, 'a) format4 -> 'b
   @since 4.03
 *)
 end
-# 20 "v2.in.ml"
+# 22 "v2.in.ml"
 
 
   module Hex : sig
@@ -2501,7 +2535,7 @@ val show : t -> string
 (** [show t] will return a human-readable hex representation of [t] as
     a string. *)
 end
-# 22 "v2.in.ml"
+# 24 "v2.in.ml"
 
 
   module Z : sig
@@ -2975,7 +3009,7 @@ external of_bits: string -> t = "ml_z_of_bits"
     trailing zeros in s.
  *)
 end
-# 24 "v2.in.ml"
+# 26 "v2.in.ml"
 
 
   module Lwt : sig
@@ -3246,7 +3280,7 @@ val return_false : bool t
 (** [Lwt.return_false] is like {!Lwt.return_unit}, but for
     {!Lwt.return}[ false]. *)
 end
-# 26 "v2.in.ml"
+# 28 "v2.in.ml"
 
 
   module Lwt_list : sig
@@ -3293,7 +3327,7 @@ val filter_map_s : ('a -> 'b option Lwt.t) -> 'a list -> 'b list Lwt.t
 
 val partition_s : ('a -> bool Lwt.t) -> 'a list -> ('a list * 'a list) Lwt.t
 end
-# 28 "v2.in.ml"
+# 30 "v2.in.ml"
 
 
   module Data_encoding : sig
@@ -3722,7 +3756,7 @@ end
     the JSON encoding. *)
 val check_size : int -> 'a encoding -> 'a encoding
 end
-# 30 "v2.in.ml"
+# 32 "v2.in.ml"
 
 
   module Raw_hashes : sig
@@ -3764,7 +3798,7 @@ val sha3_256 : bytes -> bytes
 
 val sha3_512 : bytes -> bytes
 end
-# 32 "v2.in.ml"
+# 34 "v2.in.ml"
 
 
   module Compare : sig
@@ -3850,7 +3884,7 @@ module List (P : COMPARABLE) : S with type t = P.t list
 
 module Option (P : COMPARABLE) : S with type t = P.t option
 end
-# 34 "v2.in.ml"
+# 36 "v2.in.ml"
 
 
   module Error_monad : sig
@@ -4125,7 +4159,7 @@ type shell_tztrace
 
 type 'a shell_tzresult = ('a, shell_tztrace) result
 end
-# 36 "v2.in.ml"
+# 38 "v2.in.ml"
 
 
   open Error_monad
@@ -4179,7 +4213,7 @@ val lwt_warn : ('a, Format.formatter, unit, unit Lwt.t) format4 -> 'a
 
 val lwt_log_error : ('a, Format.formatter, unit, unit Lwt.t) format4 -> 'a
 end
-# 40 "v2.in.ml"
+# 42 "v2.in.ml"
 
 
   module Time : sig
@@ -4233,7 +4267,7 @@ val rfc_encoding : t Data_encoding.t
 
 val pp_hum : Format.formatter -> t -> unit
 end
-# 42 "v2.in.ml"
+# 44 "v2.in.ml"
 
 
   module Option : sig
@@ -4263,8 +4297,6 @@ end
 (*                                                                           *)
 (*****************************************************************************)
 
-open Tezos_protocol_environment_sigs_stdlib_compat.V2
-
 (** Signature from Lwtreslib's option module *)
 
 type 'a t = 'a option = None | Some of 'a
@@ -4347,9 +4379,9 @@ val of_result : ('a, 'e) result -> 'a option
 
 val to_list : 'a option -> 'a list
 
-val to_seq : 'a option -> 'a Stdlib.Seq.t
+val to_seq : 'a option -> 'a Seq.t
 end
-# 44 "v2.in.ml"
+# 46 "v2.in.ml"
 
 
   module TzEndian : sig
@@ -4399,7 +4431,7 @@ val get_uint8 : bytes -> int -> int
 
 val get_uint16 : bytes -> int -> int
 end
-# 46 "v2.in.ml"
+# 48 "v2.in.ml"
 
 
   module Bits : sig
@@ -4434,7 +4466,7 @@ end
    <= x < 2^k] if [x > 0] and [0] otherwise. *)
 val numbits : int -> int
 end
-# 48 "v2.in.ml"
+# 50 "v2.in.ml"
 
 
   module RPC_arg : sig
@@ -4496,7 +4528,7 @@ type ('a, 'b) eq = Eq : ('a, 'a) eq
 
 val eq : 'a arg -> 'b arg -> ('a, 'b) eq option
 end
-# 50 "v2.in.ml"
+# 52 "v2.in.ml"
 
 
   module RPC_path : sig
@@ -4552,7 +4584,7 @@ val add_final_args :
 val ( /:* ) :
   ('prefix, 'params) path -> 'a RPC_arg.t -> ('prefix, 'params * 'a list) path
 end
-# 52 "v2.in.ml"
+# 54 "v2.in.ml"
 
 
   module RPC_query : sig
@@ -4624,7 +4656,7 @@ exception Invalid of string
 
 val parse : 'a query -> untyped -> 'a
 end
-# 54 "v2.in.ml"
+# 56 "v2.in.ml"
 
 
   module RPC_service : sig
@@ -4701,7 +4733,7 @@ val put_service :
   ('prefix, 'params) RPC_path.t ->
   ([`PUT], 'prefix, 'params, 'query, 'input, 'output) service
 end
-# 56 "v2.in.ml"
+# 58 "v2.in.ml"
 
 
   module RPC_answer : sig
@@ -4753,7 +4785,7 @@ val not_found : 'o t Lwt.t
 
 val fail : error list -> 'a t Lwt.t
 end
-# 58 "v2.in.ml"
+# 60 "v2.in.ml"
 
 
   module RPC_directory : sig
@@ -4992,7 +5024,7 @@ val register_dynamic_directory :
   ('a -> 'a directory Lwt.t) ->
   'prefix directory
 end
-# 60 "v2.in.ml"
+# 62 "v2.in.ml"
 
 
   module Base58 : sig
@@ -5042,7 +5074,7 @@ val check_encoded_prefix : 'a encoding -> string -> int -> unit
 
 val decode : string -> data option
 end
-# 62 "v2.in.ml"
+# 64 "v2.in.ml"
 
 
   module S : sig
@@ -5843,7 +5875,7 @@ module type PVSS = sig
   val reconstruct : Clear_share.t list -> int list -> Public_key.t
 end
 end
-# 64 "v2.in.ml"
+# 66 "v2.in.ml"
 
 
   module Set : sig
@@ -5914,7 +5946,7 @@ module Make (Ord : OrderedType) : S.SET with type elt = Ord.t
 (** Functor building an implementation of the set structure
    given a totally ordered type. *)
 end
-# 66 "v2.in.ml"
+# 68 "v2.in.ml"
 
 
   module Map : sig
@@ -5984,7 +6016,7 @@ module Make (Ord : OrderedType) : S.MAP with type key = Ord.t
 (** Functor building an implementation of the map structure
    given a totally ordered type. *)
 end
-# 68 "v2.in.ml"
+# 70 "v2.in.ml"
 
 
   module Blake2B : sig
@@ -6048,7 +6080,7 @@ end
 
 module Make (Register : Register) (Name : PrefixedName) : S.HASH
 end
-# 70 "v2.in.ml"
+# 72 "v2.in.ml"
 
 
   module Bls12_381 : sig
@@ -6088,7 +6120,7 @@ include
      and type G1.Scalar.t = Fr.t
      and type G2.Scalar.t = Fr.t
 end
-# 72 "v2.in.ml"
+# 74 "v2.in.ml"
 
 
   module Ed25519 : sig
@@ -6122,7 +6154,7 @@ end
 
 include S.SIGNATURE with type watermark := bytes
 end
-# 74 "v2.in.ml"
+# 76 "v2.in.ml"
 
 
   module Secp256k1 : sig
@@ -6156,7 +6188,7 @@ end
 
 include S.SIGNATURE with type watermark := bytes
 end
-# 76 "v2.in.ml"
+# 78 "v2.in.ml"
 
 
   module P256 : sig
@@ -6190,7 +6222,7 @@ end
 
 include S.SIGNATURE with type watermark := bytes
 end
-# 78 "v2.in.ml"
+# 80 "v2.in.ml"
 
 
   module Chain_id : sig
@@ -6222,7 +6254,7 @@ end
 
 include S.HASH
 end
-# 80 "v2.in.ml"
+# 82 "v2.in.ml"
 
 
   module Signature : sig
@@ -6274,7 +6306,7 @@ include
      and type Public_key.t = public_key
      and type watermark := watermark
 end
-# 82 "v2.in.ml"
+# 84 "v2.in.ml"
 
 
   module Block_hash : sig
@@ -6307,7 +6339,7 @@ end
 (** Blocks hashes / IDs. *)
 include S.HASH
 end
-# 84 "v2.in.ml"
+# 86 "v2.in.ml"
 
 
   module Operation_hash : sig
@@ -6340,7 +6372,7 @@ end
 (** Operations hashes / IDs. *)
 include S.HASH
 end
-# 86 "v2.in.ml"
+# 88 "v2.in.ml"
 
 
   module Operation_list_hash : sig
@@ -6373,7 +6405,7 @@ end
 (** Blocks hashes / IDs. *)
 include S.MERKLE_TREE with type elt = Operation_hash.t
 end
-# 88 "v2.in.ml"
+# 90 "v2.in.ml"
 
 
   module Operation_list_list_hash : sig
@@ -6406,7 +6438,7 @@ end
 (** Blocks hashes / IDs. *)
 include S.MERKLE_TREE with type elt = Operation_list_hash.t
 end
-# 90 "v2.in.ml"
+# 92 "v2.in.ml"
 
 
   module Protocol_hash : sig
@@ -6439,7 +6471,7 @@ end
 (** Protocol hashes / IDs. *)
 include S.HASH
 end
-# 92 "v2.in.ml"
+# 94 "v2.in.ml"
 
 
   module Context_hash : sig
@@ -6472,7 +6504,7 @@ end
 (** Committed context hashes / IDs. *)
 include S.HASH
 end
-# 94 "v2.in.ml"
+# 96 "v2.in.ml"
 
 
   module Pvss_secp256k1 : sig
@@ -6506,7 +6538,7 @@ end
 
 include S.PVSS
 end
-# 96 "v2.in.ml"
+# 98 "v2.in.ml"
 
 
   module Sapling : sig
@@ -6637,7 +6669,7 @@ module Verification : sig
   val final_check : t -> UTXO.transaction -> string -> bool
 end
 end
-# 98 "v2.in.ml"
+# 100 "v2.in.ml"
 
 
   module Micheline : sig
@@ -6710,7 +6742,7 @@ val extract_locations :
 val inject_locations :
   (canonical_location -> 'l) -> 'p canonical -> ('l, 'p) node
 end
-# 100 "v2.in.ml"
+# 102 "v2.in.ml"
 
 
   module Block_header : sig
@@ -6761,7 +6793,7 @@ type t = {shell : shell_header; protocol_data : bytes}
 
 include S.HASHABLE with type t := t and type hash := Block_hash.t
 end
-# 102 "v2.in.ml"
+# 104 "v2.in.ml"
 
 
   module Fitness : sig
@@ -6795,7 +6827,7 @@ end
     compared in a lexicographical order (longer list are greater). *)
 include S.T with type t = bytes list
 end
-# 104 "v2.in.ml"
+# 106 "v2.in.ml"
 
 
   module Operation : sig
@@ -6839,7 +6871,7 @@ type t = {shell : shell_header; proto : bytes}
 
 include S.HASHABLE with type t := t and type hash := Operation_hash.t
 end
-# 106 "v2.in.ml"
+# 108 "v2.in.ml"
 
 
   module Context : sig
@@ -7022,7 +7054,7 @@ val register_resolver :
 
 val complete : t -> string -> string list Lwt.t
 end
-# 108 "v2.in.ml"
+# 110 "v2.in.ml"
 
 
   module Updater : sig
@@ -7263,7 +7295,7 @@ val activate : Context.t -> Protocol_hash.t -> Context.t Lwt.t
 val fork_test_chain :
   Context.t -> protocol:Protocol_hash.t -> expiration:Time.t -> Context.t Lwt.t
 end
-# 110 "v2.in.ml"
+# 112 "v2.in.ml"
 
 
   module RPC_context : sig
@@ -7418,7 +7450,7 @@ val make_opt_call3 :
   'i ->
   'o option shell_tzresult Lwt.t
 end
-# 112 "v2.in.ml"
+# 114 "v2.in.ml"
 
 
   module Equality_witness : sig
@@ -7486,6 +7518,6 @@ val eq : 'a t -> 'b t -> ('a, 'b) eq option
 (** [hash id] returns a hash for [id]. *)
 val hash : 'a t -> int
 end
-# 114 "v2.in.ml"
+# 116 "v2.in.ml"
 
 end
diff --git a/src/lib_protocol_environment/sigs/v2/option.mli b/src/lib_protocol_environment/sigs/v2/option.mli
index 6eca9754abb2e399db688e7cd68edbdf377e31ff..34073426e5418f5f17f351a7ba505cd1d94aa2e4 100644
--- a/src/lib_protocol_environment/sigs/v2/option.mli
+++ b/src/lib_protocol_environment/sigs/v2/option.mli
@@ -23,8 +23,6 @@
 (*                                                                           *)
 (*****************************************************************************)
 
-open Tezos_protocol_environment_sigs_stdlib_compat.V2
-
 (** Signature from Lwtreslib's option module *)
 
 type 'a t = 'a option = None | Some of 'a
@@ -107,4 +105,4 @@ val of_result : ('a, 'e) result -> 'a option
 
 val to_list : 'a option -> 'a list
 
-val to_seq : 'a option -> 'a Stdlib.Seq.t
+val to_seq : 'a option -> 'a Seq.t
diff --git a/src/lib_protocol_environment/sigs/stdlib_compat/v2.mli b/src/lib_protocol_environment/sigs/v2/seq.mli
similarity index 88%
rename from src/lib_protocol_environment/sigs/stdlib_compat/v2.mli
rename to src/lib_protocol_environment/sigs/v2/seq.mli
index d40cd0474d718057526a6476829ed9afa70adba8..e9b8820e90a8ed71a1e6a0b36c643c7f9d86d78c 100644
--- a/src/lib_protocol_environment/sigs/stdlib_compat/v2.mli
+++ b/src/lib_protocol_environment/sigs/v2/seq.mli
@@ -1,7 +1,7 @@
 (*****************************************************************************)
 (*                                                                           *)
 (* Open Source License                                                       *)
-(* Copyright (c) 2022 G.B. Fefe <gb.fefe@protonmail.com>                     *)
+(* Copyright (c) 2022 Nomadic Labs <contact@nomadic-labs.com>                *)
 (*                                                                           *)
 (* Permission is hereby granted, free of charge, to any person obtaining a   *)
 (* copy of this software and associated documentation files (the "Software"),*)
@@ -23,11 +23,6 @@
 (*                                                                           *)
 (*****************************************************************************)
 
-(* Type equalities for the restricted typing environment of the
-   economic protocols *)
+type 'a t = unit -> 'a node
 
-module Stdlib : sig
-  module Seq : sig
-    type 'a t = 'a Stdlib.Seq.t
-  end
-end
+and +'a node = Nil | Cons of 'a * 'a t
diff --git a/src/lib_protocol_environment/sigs/v3.in.ml b/src/lib_protocol_environment/sigs/v3.in.ml
index 76df8049df7113adb484038156fb921d0b1844b1..baaf52cd845f7afe37a858b591dd7c471611e7d1 100644
--- a/src/lib_protocol_environment/sigs/v3.in.ml
+++ b/src/lib_protocol_environment/sigs/v3.in.ml
@@ -1,4 +1,4 @@
-open Tezos_protocol_environment_sigs_stdlib_compat.V_all
+open Tezos_protocol_environment_sigs_internals
 
 module type T = sig
   module Pervasives : [%sig "v3/pervasives.mli"]
diff --git a/src/lib_protocol_environment/sigs/v3.ml b/src/lib_protocol_environment/sigs/v3.ml
index ea8c24e7ff02876f0fe319a7d087fe88cc933de9..0591151e9bcdd8bb299a89c1444113c981982df1 100644
--- a/src/lib_protocol_environment/sigs/v3.ml
+++ b/src/lib_protocol_environment/sigs/v3.ml
@@ -1,7 +1,7 @@
 (* This file was automatically generated, do not edit.*)
 (* Edit file v3.in.ml instead. *)
 # 1 "v3.in.ml"
-open Tezos_protocol_environment_sigs_stdlib_compat.V_all
+open Tezos_protocol_environment_sigs_internals
 
 module type T = sig
   module Pervasives : sig
@@ -4156,13 +4156,11 @@ end
 (*                                                                           *)
 (*****************************************************************************)
 
-open Tezos_protocol_environment_sigs_stdlib_compat.V3
-
 (* From Lwtreslib *)
 
 type 'a t = unit -> 'a node
 
-and +'a node = 'a Stdlib.Seq.node = Nil | Cons of 'a * 'a t
+and +'a node = Nil | Cons of 'a * 'a t
 
 val empty : 'a t
 
@@ -4341,11 +4339,9 @@ end
     variants may return [Ok _] even though the arguments have different lengths.
 *)
 
-open Tezos_protocol_environment_sigs_stdlib_compat.V3
-
 (** {3 Trivial values} *)
 
-type 'a t = 'a Stdlib.List.t = [] | ( :: ) of 'a * 'a list
+type 'a t = 'a list = [] | ( :: ) of 'a * 'a list
 
 (** in-monad, preallocated nil *)
 
@@ -5163,8 +5159,6 @@ end
 (*                                                                           *)
 (*****************************************************************************)
 
-open Tezos_protocol_environment_sigs_stdlib_compat.V3
-
 (* From Lwtreslib *)
 
 module type S = sig
@@ -5252,13 +5246,13 @@ module type S = sig
 
   val of_list : elt list -> t
 
-  val to_seq_from : elt -> t -> elt Stdlib.Seq.t
+  val to_seq_from : elt -> t -> elt Seq.t
 
-  val to_seq : t -> elt Stdlib.Seq.t
+  val to_seq : t -> elt Seq.t
 
-  val add_seq : elt Stdlib.Seq.t -> t -> t
+  val add_seq : elt Seq.t -> t -> t
 
-  val of_seq : elt Stdlib.Seq.t -> t
+  val of_seq : elt Seq.t -> t
 
   val iter_ep :
     (elt -> (unit, 'error Error_monad.trace) result Lwt.t) ->
@@ -5452,8 +5446,6 @@ end
 (*                                                                           *)
 (*****************************************************************************)
 
-open Tezos_protocol_environment_sigs_stdlib_compat.V3
-
 (** Signature from Lwtreslib's option module *)
 
 type 'a t = 'a option = None | Some of 'a
@@ -5536,7 +5528,7 @@ val of_result : ('a, 'e) result -> 'a option
 
 val to_list : 'a option -> 'a list
 
-val to_seq : 'a option -> 'a Stdlib.Seq.t
+val to_seq : 'a option -> 'a Seq.t
 
 (** [catch f] is [Some (f ())] if [f] does not raise an exception, it is
     [None] otherwise.
@@ -5602,8 +5594,6 @@ end
 (*                                                                           *)
 (*****************************************************************************)
 
-open Tezos_protocol_environment_sigs_stdlib_compat.V3
-
 type ('a, 'e) t = ('a, 'e) result = Ok of 'a | Error of 'e (***)
 
 val ok : 'a -> ('a, 'e) result
@@ -5686,7 +5676,7 @@ val of_option : error:'e -> 'a option -> ('a, 'e) result
 
 val to_list : ('a, 'e) result -> 'a list
 
-val to_seq : ('a, 'e) result -> 'a Stdlib.Seq.t
+val to_seq : ('a, 'e) result -> 'a Seq.t
 
 (** [catch f] is [try Ok (f ()) with e -> Error e]: it is [Ok x] if [f ()]
     evaluates to [x], and it is [Error e] if [f ()] raises [e].
diff --git a/src/lib_protocol_environment/sigs/v3/list.mli b/src/lib_protocol_environment/sigs/v3/list.mli
index e534d7a5ded14df1a16a614c30fc5c1d53c35289..c9b611be79bc30425a040a93aac51c827d258aa8 100644
--- a/src/lib_protocol_environment/sigs/v3/list.mli
+++ b/src/lib_protocol_environment/sigs/v3/list.mli
@@ -81,11 +81,9 @@
     variants may return [Ok _] even though the arguments have different lengths.
 *)
 
-open Tezos_protocol_environment_sigs_stdlib_compat.V3
-
 (** {3 Trivial values} *)
 
-type 'a t = 'a Stdlib.List.t = [] | ( :: ) of 'a * 'a list
+type 'a t = 'a list = [] | ( :: ) of 'a * 'a list
 
 (** in-monad, preallocated nil *)
 
diff --git a/src/lib_protocol_environment/sigs/v3/option.mli b/src/lib_protocol_environment/sigs/v3/option.mli
index edf49efc602e760e8f3d6ea637acca48614efa2a..a86b7946caaa8cce25de2ca98b3317194ce75b32 100644
--- a/src/lib_protocol_environment/sigs/v3/option.mli
+++ b/src/lib_protocol_environment/sigs/v3/option.mli
@@ -23,8 +23,6 @@
 (*                                                                           *)
 (*****************************************************************************)
 
-open Tezos_protocol_environment_sigs_stdlib_compat.V3
-
 (** Signature from Lwtreslib's option module *)
 
 type 'a t = 'a option = None | Some of 'a
@@ -107,7 +105,7 @@ val of_result : ('a, 'e) result -> 'a option
 
 val to_list : 'a option -> 'a list
 
-val to_seq : 'a option -> 'a Stdlib.Seq.t
+val to_seq : 'a option -> 'a Seq.t
 
 (** [catch f] is [Some (f ())] if [f] does not raise an exception, it is
     [None] otherwise.
diff --git a/src/lib_protocol_environment/sigs/v3/result.mli b/src/lib_protocol_environment/sigs/v3/result.mli
index efc3a5fc1422ae1a1f18d3be07741effefbeeab9..286a8636744b3f3130f0af6a0c4ade5cafb0b39b 100644
--- a/src/lib_protocol_environment/sigs/v3/result.mli
+++ b/src/lib_protocol_environment/sigs/v3/result.mli
@@ -23,8 +23,6 @@
 (*                                                                           *)
 (*****************************************************************************)
 
-open Tezos_protocol_environment_sigs_stdlib_compat.V3
-
 type ('a, 'e) t = ('a, 'e) result = Ok of 'a | Error of 'e (***)
 
 val ok : 'a -> ('a, 'e) result
@@ -107,7 +105,7 @@ val of_option : error:'e -> 'a option -> ('a, 'e) result
 
 val to_list : ('a, 'e) result -> 'a list
 
-val to_seq : ('a, 'e) result -> 'a Stdlib.Seq.t
+val to_seq : ('a, 'e) result -> 'a Seq.t
 
 (** [catch f] is [try Ok (f ()) with e -> Error e]: it is [Ok x] if [f ()]
     evaluates to [x], and it is [Error e] if [f ()] raises [e].
diff --git a/src/lib_protocol_environment/sigs/v3/seq.mli b/src/lib_protocol_environment/sigs/v3/seq.mli
index 312427dead2b6fb4790d293e2f7064d4540bb0d3..dd99560d91422a5ed8dbad5edecb7444351c5b33 100644
--- a/src/lib_protocol_environment/sigs/v3/seq.mli
+++ b/src/lib_protocol_environment/sigs/v3/seq.mli
@@ -23,13 +23,11 @@
 (*                                                                           *)
 (*****************************************************************************)
 
-open Tezos_protocol_environment_sigs_stdlib_compat.V3
-
 (* From Lwtreslib *)
 
 type 'a t = unit -> 'a node
 
-and +'a node = 'a Stdlib.Seq.node = Nil | Cons of 'a * 'a t
+and +'a node = Nil | Cons of 'a * 'a t
 
 val empty : 'a t
 
diff --git a/src/lib_protocol_environment/sigs/v3/set.mli b/src/lib_protocol_environment/sigs/v3/set.mli
index c0bf5a0b888045c8cd345ee94ab997304468fd26..22316950792367e3b91253747d48aa3a2f12e65b 100644
--- a/src/lib_protocol_environment/sigs/v3/set.mli
+++ b/src/lib_protocol_environment/sigs/v3/set.mli
@@ -23,8 +23,6 @@
 (*                                                                           *)
 (*****************************************************************************)
 
-open Tezos_protocol_environment_sigs_stdlib_compat.V3
-
 (* From Lwtreslib *)
 
 module type S = sig
@@ -112,13 +110,13 @@ module type S = sig
 
   val of_list : elt list -> t
 
-  val to_seq_from : elt -> t -> elt Stdlib.Seq.t
+  val to_seq_from : elt -> t -> elt Seq.t
 
-  val to_seq : t -> elt Stdlib.Seq.t
+  val to_seq : t -> elt Seq.t
 
-  val add_seq : elt Stdlib.Seq.t -> t -> t
+  val add_seq : elt Seq.t -> t -> t
 
-  val of_seq : elt Stdlib.Seq.t -> t
+  val of_seq : elt Seq.t -> t
 
   val iter_ep :
     (elt -> (unit, 'error Error_monad.trace) result Lwt.t) ->
diff --git a/src/lib_protocol_environment/sigs/v4.in.ml b/src/lib_protocol_environment/sigs/v4.in.ml
index 4d08e39002c206f64a41f6e179daa0e52c3578ec..1c962ea55966bd5281f5d053227ea895e190351d 100644
--- a/src/lib_protocol_environment/sigs/v4.in.ml
+++ b/src/lib_protocol_environment/sigs/v4.in.ml
@@ -1,4 +1,4 @@
-open Tezos_protocol_environment_sigs_stdlib_compat.V_all
+open Tezos_protocol_environment_sigs_internals
 
 module type T = sig
   module Pervasives : [%sig "v4/pervasives.mli"]
diff --git a/src/lib_protocol_environment/sigs/v4.ml b/src/lib_protocol_environment/sigs/v4.ml
index 1daa7aae977fba0e86538ea7ff7fcd0cde83cfc4..39addbd5935badcc6e50c7a23a5a27de8582897f 100644
--- a/src/lib_protocol_environment/sigs/v4.ml
+++ b/src/lib_protocol_environment/sigs/v4.ml
@@ -1,7 +1,7 @@
 (* This file was automatically generated, do not edit.*)
 (* Edit file v4.in.ml instead. *)
 # 1 "v4.in.ml"
-open Tezos_protocol_environment_sigs_stdlib_compat.V_all
+open Tezos_protocol_environment_sigs_internals
 
 module type T = sig
   module Pervasives : sig
@@ -4185,13 +4185,11 @@ end
 (*                                                                           *)
 (*****************************************************************************)
 
-open Tezos_protocol_environment_sigs_stdlib_compat.V4
-
 (* From Lwtreslib *)
 
 type 'a t = unit -> 'a node
 
-and +'a node = 'a Stdlib.Seq.node = Nil | Cons of 'a * 'a t
+and +'a node = Nil | Cons of 'a * 'a t
 
 val empty : 'a t
 
diff --git a/src/lib_protocol_environment/sigs/v4/seq.mli b/src/lib_protocol_environment/sigs/v4/seq.mli
index 77aaa3552027f8e878f4fd9484a4aea710a2e544..dd99560d91422a5ed8dbad5edecb7444351c5b33 100644
--- a/src/lib_protocol_environment/sigs/v4/seq.mli
+++ b/src/lib_protocol_environment/sigs/v4/seq.mli
@@ -23,13 +23,11 @@
 (*                                                                           *)
 (*****************************************************************************)
 
-open Tezos_protocol_environment_sigs_stdlib_compat.V4
-
 (* From Lwtreslib *)
 
 type 'a t = unit -> 'a node
 
-and +'a node = 'a Stdlib.Seq.node = Nil | Cons of 'a * 'a t
+and +'a node = Nil | Cons of 'a * 'a t
 
 val empty : 'a t
 
diff --git a/src/lib_protocol_environment/sigs/v5.in.ml b/src/lib_protocol_environment/sigs/v5.in.ml
index 695ca4ee4f75caa7a6f01e86586388ea92242f38..7559b2af503038e2be9bdccefd47656fff0fa003 100644
--- a/src/lib_protocol_environment/sigs/v5.in.ml
+++ b/src/lib_protocol_environment/sigs/v5.in.ml
@@ -1,4 +1,4 @@
-open Tezos_protocol_environment_sigs_stdlib_compat.V_all
+open Tezos_protocol_environment_sigs_internals
 
 module type T = sig
   module Pervasives : [%sig "v5/pervasives.mli"]
diff --git a/src/lib_protocol_environment/sigs/v5.ml b/src/lib_protocol_environment/sigs/v5.ml
index cd5b2a7d300b30511a8684f169dccded4eb7b4f9..20ef03f709038463ea8bafac799e5d16b002d98d 100644
--- a/src/lib_protocol_environment/sigs/v5.ml
+++ b/src/lib_protocol_environment/sigs/v5.ml
@@ -1,7 +1,7 @@
 (* This file was automatically generated, do not edit.*)
 (* Edit file v5.in.ml instead. *)
 # 1 "v5.in.ml"
-open Tezos_protocol_environment_sigs_stdlib_compat.V_all
+open Tezos_protocol_environment_sigs_internals
 
 module type T = sig
   module Pervasives : sig
diff --git a/src/lib_protocol_environment/sigs/v6.in.ml b/src/lib_protocol_environment/sigs/v6.in.ml
index b321f587f649f622589f13f2d5c2ec8c30661a58..c798943c74faffe22016c2133d669bb2346e78f5 100644
--- a/src/lib_protocol_environment/sigs/v6.in.ml
+++ b/src/lib_protocol_environment/sigs/v6.in.ml
@@ -1,4 +1,4 @@
-open Tezos_protocol_environment_sigs_stdlib_compat.V_all
+open Tezos_protocol_environment_sigs_internals
 
 module type T = sig
   module Pervasives : [%sig "v6/pervasives.mli"]
diff --git a/src/lib_protocol_environment/sigs/v6.ml b/src/lib_protocol_environment/sigs/v6.ml
index b5de6bc30bfabcba8cc6fe0e2c3a9b2dc036f460..e867da1651439227f7b15f941d45413bdac02f04 100644
--- a/src/lib_protocol_environment/sigs/v6.ml
+++ b/src/lib_protocol_environment/sigs/v6.ml
@@ -1,7 +1,7 @@
 (* This file was automatically generated, do not edit.*)
 (* Edit file v6.in.ml instead. *)
 # 1 "v6.in.ml"
-open Tezos_protocol_environment_sigs_stdlib_compat.V_all
+open Tezos_protocol_environment_sigs_internals
 
 module type T = sig
   module Pervasives : sig
diff --git a/src/lib_protocol_environment/sigs/v7.in.ml b/src/lib_protocol_environment/sigs/v7.in.ml
index 2e0def89bbb48346bfa1f1e5cafb1521021d9397..fcee2305aaa54bac07c8d9ff8743abbb9f3446ff 100644
--- a/src/lib_protocol_environment/sigs/v7.in.ml
+++ b/src/lib_protocol_environment/sigs/v7.in.ml
@@ -1,4 +1,4 @@
-open Tezos_protocol_environment_sigs_stdlib_compat.V_all
+open Tezos_protocol_environment_sigs_internals
 
 module type T = sig
   module Pervasives : [%sig "v7/pervasives.mli"]
diff --git a/src/lib_protocol_environment/sigs/v7.ml b/src/lib_protocol_environment/sigs/v7.ml
index 6f7caded07fb914604515026a4b227dc8ff030a9..70404eb979ff92797a0d7474e399dc58e4e20d9e 100644
--- a/src/lib_protocol_environment/sigs/v7.ml
+++ b/src/lib_protocol_environment/sigs/v7.ml
@@ -1,7 +1,7 @@
 (* This file was automatically generated, do not edit.*)
 (* Edit file v7.in.ml instead. *)
 # 1 "v7.in.ml"
-open Tezos_protocol_environment_sigs_stdlib_compat.V_all
+open Tezos_protocol_environment_sigs_internals
 
 module type T = sig
   module Pervasives : sig