5 val divMod: int * int -> int * int
6 val quotRem: int * int -> int * int
7 val pow: int * Int.int -> int
8 val log2: int -> Int.int
9 val orb: int * int -> int
10 val xorb: int * int -> int
11 val andb: int * int -> int
13 val << : int * Word.word -> int
14 val ~>> : int * Word.word -> int
17 signature INT_INF_EXTRA =
22 structure BigWord : WORD
23 structure SmallInt : INTEGER
25 val areSmall: int * int -> bool
26 val gcd: int * int -> int
27 val isSmall: int -> bool
29 Big of BigWord.word Vector.vector
30 | Small of SmallInt.int
32 val fromRep: rep -> int option
37 val +? : int * int -> int
38 val *? : int * int -> int
39 val -? : int * int -> int
42 val ltu: int * int -> bool
43 val leu: int * int -> bool
44 val gtu: int * int -> bool
45 val geu: int * int -> bool