Lines Matching refs:word
41 (* Values of type Word32.word can be in the range 0.. 4294967295 *)
44 val maxWordAsWord: word = (LargeWord.fromLargeInt maxWord)
55 (* Internal function to convert from Word.word. *)
56 fun fromWord (w: LargeWord.word) = andb(w, maxWordAsWord)
58 (* Converting from LargeWord.word. First convert to LargeWord.word and
72 fun op ~>> (a: word, b: Word.word): word =
75 (* Convert to a large word by sign extending. *)
76 fun toLargeWordX (w: word): LargeWord.word =
82 fun toIntX (x: word) : int = LargeWord.toIntX(toLargeWordX x)
83 and toLargeIntX (x: word) : LargeInt.int = LargeWord.toLargeIntX(toLargeWordX x)
114 fun convWord s : Word32.word =
117 (* The word value must consist of at least 0w and a digit. *)
121 NONE => raise RunCall.Conversion "Invalid Word32.word constant"
125 (* Install the pretty printer for Word32.word *)