Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
cduce
cduce
ed4544a6748dca09c7f61f78ba6c1c2fa3c86599
ed4544a6748dca09c7f61f78ba6c1c2fa3c86599
Switch branch/tag
cduce
parser
location.ml
Find file
Normal view
History
Permalink
location.ml
74 Bytes
Newer
Older
[r2002-10-10 09:11:23 by cvscast] Empty log message
Pietro Abate
committed
Oct 05, 2007
1
2
3
4
type
loc
=
int
*
int
exception
Location
of
loc
*
exn
let
noloc
=
(
-
1
,-
1
)