projects
/
tatoo.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
cfebeecbd95fa9eda518d963235f7f5b252467a6
[tatoo.git]
/
include
/
utils64.ml
1
IFNDEF UTILS64__ML__
2
THEN
3
DEFINE UTILS64__ML__
4
DEFINE WORDSIZE = 64
5
DEFINE HALFWORDSIZE = 32
6
DEFINE INTSIZE = 63
7
DEFINE HALFINTSIZE = 31
8
DEFINE HALF_MAX_INT = 2305843009213693951
9
DEFINE HPARAM = 65599
10
DEFINE HPARAM2 = 4303228801
11
DEFINE HPARAM3 = 282287506116799
12
DEFINE HPARAM4 = 71034040046345985
13
END