1. Dmitry Grebeniuk
  2. cadastr

Commits

Dmitry Grebeniuk  committed be13d37

+ Int.Range.repeat

  • Participants
  • Parent commits 06ed50e
  • Branches default

Comments (0)

Files changed (1)

File src/cd_Int.ml

View file
             )
         ;
 
+        value repeat f x (nfrom, nto) =
+          inner x nfrom
+          where rec inner x i =
+            let x' = f x in
+            if i = nto
+            then x'
+            else inner x' (i + 1)
+        ;
+
       end
     ;