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
cduce
cduce
Repository
14cd9c55911fce27ee4c33df6cf91af33470c655
Switch branch/tag
cduce
types
types.ml
Find file
Blame
History
Permalink
Define (@@) at the top of the file, for compatibility with OCaml < 4.01
· 14cd9c55
Kim Nguyễn
authored
May 08, 2014
14cd9c55