1. Dmitry Grebeniuk
  2. cadastr

Commits

Dmitry Grebeniuk  committed f29b634

.

  • Participants
  • Parent commits 78e81bb
  • Branches default

Comments (0)

Files changed (1)

File src/cd_Tuples.ml

View file
  • Ignore whitespace
     value map_mono f (a, b) = (f a, f b);
 
 
+    value map2
+     : ! 'a 'b 'z . ('b -> 'z) -> (t 'a 'b -> t 'a 'z)
+     = fun f ->
+         fun (a, b) -> (a, f b)
+    ;
+
 
     open Cdt
     ;