chore: Remove Meet_env (#3856)

This is dead code since #3726.

Author: bclement-ocp

middle_end/flambda2/types/env/typing_env.ml

@@ -245,26 +245,6 @@ end = struct
             now_meeting_or_joining_names t name1 name2))
 end
 
-module Meet_env : sig
-  type t
-
-  val print : Format.formatter -> t -> unit
-
-  val create : typing_env -> t
-
-  val env : t -> typing_env
-
-  val now_meeting : t -> Simple.t -> Simple.t -> t
-
-  val already_meeting : t -> Simple.t -> Simple.t -> bool
-end = struct
-  include Meet_or_join_env_base
-
-  let now_meeting = now_meeting_or_joining
-
-  let already_meeting = already_meeting_or_joining
-end
-
 type 'a meet_return_value =
   | Left_input
   | Right_input

middle_end/flambda2/types/env/typing_env.mli

@@ -55,24 +55,6 @@ module Serializable : sig
     t -> Symbol.t -> (Code_id.t -> 'code) -> 'code Value_approximation.t
 end
 
-module Meet_env : sig
-  type t
-
-  val print : Format.formatter -> t -> unit
-
-  val create : typing_env -> t
-
-  val env : t -> typing_env
-
-  (** Note that we are now in the process of meeting the given two [Simple]s. *)
-  val now_meeting : t -> Simple.t -> Simple.t -> t
-
-  (** Determine whether we are now in the process of meeting the given two
-      [Simple]s. The arguments do not have to be provided in the same order as
-      when [now_meeting] was called. *)
-  val already_meeting : t -> Simple.t -> Simple.t -> bool
-end
-
 module Join_env : sig
   type t