Commits

Dmitry Grebeniuk  committed f975706

renames to ease gc profiling later

  • Participants
  • Parent commits 347ea80

Comments (0)

Files changed (1)

     | R -> (s.ofs + s.len - 1, -1)
     ]
   in
-    inner ~i ~left:s.len ~cur:init
-    where rec inner ~i ~left ~cur =
+    fold_inner ~i ~left:s.len ~cur:init
+    where rec fold_inner ~i ~left ~cur =
       if left = 0
       then
         cur
       else
-        inner
+        fold_inner
           ~i:(i + stp)
           ~left:(left - 1)
           ~cur:(func cur s.arr.(i))
 *)
 
 value break_limit ~limit pred s =
-  inner 0
-  where rec inner i =
+  break_limit_inner 0
+  where rec break_limit_inner i =
     if i = limit
     then
       `Hit_limit
         then
           `Found (split_at i s)
         else
-          inner (i + 1)
+          break_limit_inner (i + 1)
 ;