Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Docker-in-Docker (DinD) capabilities of public runners deactivated.
More info
Open sidebar
VEBER Philippe
codepi
Commits
002b66ac
Commit
002b66ac
authored
Oct 16, 2020
by
Louis Duchemin
Browse files
Implement range_iter function
parent
78fa2386
Changes
1
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
with
9 additions
and
0 deletions
+9
-0
lib/toolbox/utils.ml
lib/toolbox/utils.ml
+9
-0
No files found.
lib/toolbox/utils.ml
View file @
002b66ac
...
...
@@ -14,6 +14,15 @@ let tree_from_file ?(alpha = 1.) fn =
length
,
condition
)
let
range_iter
a
b
~
f
=
let
rec
loop
i
=
if
i
<
b
then
(
f
i
;
loop
(
i
+
1
)
)
in
loop
a
let
int_fold
a
b
~
init
~
f
=
let
rec
loop
acc
i
=
if
i
>=
b
then
acc
else
loop
(
f
acc
i
)
(
i
+
1
)
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment