Mentions légales du service
Skip to content
GitLab
Explore
Sign in
POTTIER Francois
menhir
Repository
menhir
src
invariant.mli
Find file
Blame
History
Permalink
Got rid of [env.shifted] by defining [error_token] as a special value.
· aff70c07
POTTIER Francois
authored
Dec 03, 2014
The power of magic!
aff70c07