Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
POTTIER Francois
menhir
Repository
57e8832bd539a7b1f8c2e81afe461581cafbe826
Switch branch/tag
menhir
src
tokenType.ml
Find file
Blame
History
Permalink
Separated [tokentypedef] and [tokengadtdef] because these types must be
· 57e8832b
POTTIER Francois
authored
Jan 01, 2015
defined at different places in the generated file (in order to avoid name clashes, and for clarity).
57e8832b