index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
lib
/
compat.ml4
blob: 57c7915e30f3dc471923409ba301f7ac9262edf8 (
plain
)
1
type loc = int * int let dummy_loc = 0, 0 let unloc x = x let make_loc x = x