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
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
|
signature WORD_GLOBAL =
sig
eqtype word
end
signature WORD =
sig
include WORD_GLOBAL
val wordSize: Int.int
val toLarge: word -> LargeWord.word
val toLargeX: word -> LargeWord.word
val toLargeWord: word -> LargeWord.word
val toLargeWordX: word -> LargeWord.word
val fromLarge: LargeWord.word -> word
val fromLargeWord: LargeWord.word -> word
val toLargeInt: word -> LargeInt.int
val toLargeIntX: word -> LargeInt.int
val fromLargeInt: LargeInt.int -> word
val toInt: word -> int
val toIntX: word -> int
val fromInt: int -> word
val + : word * word -> word
val - : word * word -> word
val * : word * word -> word
val div: word * word -> word
val mod: word * word -> word
val andb: word * word -> word
val << : word * Word.word -> word
val notb: word -> word
val orb: word * word -> word
val ~>> : word * Word.word -> word
val >> : word * Word.word -> word
val xorb: word * word -> word
val compare: word * word -> order
val < : word * word -> bool
val <= : word * word -> bool
val > : word * word -> bool
val >= : word * word -> bool
val ~ : word -> word
val min: word * word -> word
val max: word * word -> word
val fmt: StringCvt.radix -> word -> string
val toString: word -> string
val scan: (StringCvt.radix
-> (char, 'a) StringCvt.reader
-> (word, 'a) StringCvt.reader)
val fromString: string -> word option
end
signature WORD_EXTRA =
sig
include WORD
type t = word
val zero: word
val one: word
val maxWord' : word
val toWord: word -> Word.word
val toWordX: word -> Word.word
val fromWord: Word.word -> word
val bswap: word -> word
val rol: word * Word.word -> word
val ror: word * Word.word -> word
val log2 : word -> Primitive.Int32.int
val castFromFixedInt: FixedInt.int -> word
val castToFixedInt: word -> FixedInt.int
val castFromSysWord: SysWord.word -> word
val castToSysWord: word -> SysWord.word
end
|
