Lines Matching defs:int
21 val divMod : int * int -> int * int
22 val quotRem : int * int -> int * int
23 val pow : int * Int.int -> int
24 val log2 : int -> Int.int
25 val orb : int * int -> int
26 val xorb : int * int -> int
27 val andb : int * int -> int
28 val notb : int -> int
29 val << : int * Word.word -> int
30 val ~>> : int * Word.word -> int
35 type int = LargeInt.int
53 val isShort: int -> bool = RunCall.isShort
54 fun loadByte(l: LargeInt.int, i: Int.int):word = RunCall.loadByteFromImmutable(l, Word.fromInt i)
55 val segLength: LargeInt.int -> Int.int = Word.toInt o RunCall.memoryCellLength
60 fun log2Word(i: word, j: word, n: Int.int) =
77 fun log2 (i: int) : Int.int =
90 val orb : int * int -> int = RunCall.rtsCallFull2 "PolyOrArbitrary"
91 and xorb : int * int -> int = RunCall.rtsCallFull2 "PolyXorArbitrary"
92 and andb : int * int -> int = RunCall.rtsCallFull2 "PolyAndArbitrary"
99 fun power(acc: LargeInt.int, _, 0w0) = acc
108 fun pow(i: LargeInt.int, j: Int.int) =
121 (* Long: This is possible only if int is arbitrary precision. If the
135 fun << (i: int, j: Word.word) =
141 fun ~>> (i: int, j: Word.word) = LargeInt.div(i, pow(2, Word.toInt j))