Merge remote-tracking branch 'up/main' into melange-default-alias

Author: haochenx

otherlibs/stdune/src/table.mli

@@ -59,10 +59,9 @@ val filteri_inplace : ('a, 'b) t -> f:(key:'a -> data:'b -> bool) -> unit
 val length : (_, _) t -> int
 
 module Multi : sig
-  type ('k, 'v) t
+  type ('k, 'v) t := ('k, 'v list) t
 
   val cons : ('k, 'v) t -> 'k -> 'v -> unit
 
   val find : ('k, 'v) t -> 'k -> 'v list
 end
-with type ('k, 'v) t := ('k, 'v list) t

otherlibs/stdune/src/type_eq.mli

@@ -8,7 +8,7 @@ val cast : ('a, 'b) t -> 'a -> 'b
     at runtime if two identifiers are equal, and if so to get a proof of
     equality of their types. *)
 module Id : sig
-  type ('a, 'b) eq
+  type ('a, 'b) eq := ('a, 'b) t
 
   type 'a t
 
@@ -20,4 +20,3 @@ module Id : sig
 
   val same : 'a t -> 'b t -> ('a, 'b) eq option
 end
-with type ('a, 'b) eq := ('a, 'b) t