Mentions légales du service
Skip to content
GitLab
Explore
Sign in
POTTIER Francois
menhir
Repository
menhir
demos
calc-inspection
ErrorReporting.ml
Find file
Blame
History
Permalink
Renamed [loop_test] to [shifts] and simplified its type.
· 9a027761
POTTIER Francois
authored
Mar 31, 2017
It now simply returns an option.
9a027761