Skip to content
GitLab
Explore
Sign in
verimag
synchrone
sasa
Repository
sasa
lib
algo
algo.mli
Find file
Blame
History
Permalink
Remove in Algo.varT the type N (that was meant for Natural number)
· 6929ab22
erwan
authored
Mar 10, 2019
and reuse it for Neighbor, which make the naming more consistent.
6929ab22