Mentions légales du service
Skip to content
GitLab
Explore
Sign in
POTTIER Francois
menhir
Repository
menhir
src
infiniteArray.ml
Find file
Blame
History
Permalink
Micro-optimization in [InfiniteArray.{set,update}].
· 8b0605cc
POTTIER Francois
authored
Oct 14, 2015
Avoid call to [max], and write [a.extent] only if needed.
8b0605cc