1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
|
signature INT_INF =
sig
include INTEGER
val divMod: int * int -> int * int
val quotRem: int * int -> int * int
val pow: int * Int.int -> int
val log2: int -> Int.int
val orb: int * int -> int
val xorb: int * int -> int
val andb: int * int -> int
val notb: int -> int
val << : int * Word.word -> int
val ~>> : int * Word.word -> int
end
signature INT_INF_EXTRA =
sig
include INT_INF
type t = int
structure BigWord : WORD
structure SmallInt : INTEGER
val areSmall: int * int -> bool
val gcd: int * int -> int
val isSmall: int -> bool
datatype rep =
Big of BigWord.word Vector.vector
| Small of SmallInt.int
val rep: int -> rep
val fromRep: rep -> int option
val zero: int
val one: int
val +? : int * int -> int
val *? : int * int -> int
val -? : int * int -> int
val ~? : int -> int
val ltu: int * int -> bool
val leu: int * int -> bool
val gtu: int * int -> bool
val geu: int * int -> bool
end
|
