Lines Matching defs:Word
2 Title: Standard Basis Library: Word and LargeWord Structure
20 This file contains definitions of both LargeWord and Word. SysWord is
31 and shortword = Word.word
138 else Word.fromLargeWord(getLowOrderWord i)
142 then Word.toLargeX(RunCall.unsafeCast i)
171 structure Word :> WORD where type word = shortword =
174 (* Word.word is represented using the short (tagged) integer format.
220 open Word (* Include all the initial definitions. *)
224 end (* Word *)
226 (* LargeWord.word values have one more bit of precision than Word,word values and
242 val shortToWord: LargeInt.int -> largeword = Word.toLargeWordX o RunCall.unsafeCast
243 val longToInt: largeword -> LargeInt.int = RunCall.unsafeCast o Word.fromLargeWord
252 (* The top bit *) shortToWord 1 << Word.fromInt(largeWordSize - 1)
287 else Word.toLargeWord(Word.fromInt i)
292 else Word.toInt(Word.fromLargeWord w)
297 else Word.toIntX(Word.fromLargeWord w)
323 (* Install the pretty printer for Word.word *)
325 PolyML.PrettyString("0wx" ^ Word.toString x)
346 case StringCvt.scanString (Word.scan radix) s of
377 word (=Word.word) in the prelude. *)