v0.17~preview.128.37+01

src/applicative.ml

@@ -258,3 +258,15 @@ module Pair (F : S) (G : S) : S with type 'a t = 'a F.t * 'a G.t = struct
       let map = `Custom custom_map
     end)
 end
+
+module Ident = struct
+  type 'a t = 'a
+
+  include Make_using_map2_local (struct
+      type nonrec 'a t = 'a t
+
+      let return = Fn.id
+      let map2 a b ~f = f a b
+      let map = `Custom (fun a ~f -> f a)
+    end)
+end

src/applicative_intf.ml

@@ -476,6 +476,7 @@ module type Applicative = sig
   module type S_local = S_local
   module type S2_local = S2_local
 
+  module Ident : S_local with type 'a t = 'a
   module S2_to_S (T : T.T) (X : S2) : S with type 'a t = ('a, T.t) X.t
   module S_to_S2 (X : S) : S2 with type ('a, 'e) t = 'a X.t
   module S3_to_S2 (T : T.T) (X : S3) : S2 with type ('a, 'd) t = ('a, 'd, T.t) X.t

src/base.ml

@@ -114,6 +114,8 @@ module Int64 = Int64
 module Intable = Intable
 module Int_math = Int_math
 module Invariant = Invariant
+module Dictionary_immutable = Dictionary_immutable
+module Dictionary_mutable = Dictionary_mutable
 module Lazy = Lazy
 module List = List
 module Map = Map

src/dictionary_immutable.ml

@@ -0,0 +1 @@
+include Dictionary_immutable_intf.Definitions

src/dictionary_immutable.mli

@@ -0,0 +1 @@
+include Dictionary_immutable_intf.Dictionary_immutable (** @inline *)