Lines Matching refs:word
31 require boxed word values. DCJM 14/8/09.
44 (* Values of type Word32.word can be in the range 0.. 4294967295 *)
47 val maxWordAsWord: word = (Word.fromInt maxWord)
58 (* Internal function to convert from Word.word. *)
59 fun fromWord (w: Word.word) = andb(w, maxWordAsWord)
61 (* Converting from LargeWord.word. First convert to Word.word and
75 fun op ~>> (a: word, b: Word.word): word =
78 (* Convert to a large word by sign extending. *)
79 fun toLargeWordX (w: word): LargeWord.word =
85 fun toIntX (x: word) : int = LargeWord.toIntX(toLargeWordX x)
86 and toLargeIntX (x: word) : LargeInt.int = LargeWord.toLargeIntX(toLargeWordX x)
117 fun convWord s : Word32.word =
120 (* The word value must consist of at least 0w and a digit. *)
124 NONE => raise RunCall.Conversion "Invalid Word32.word constant"
128 (* Install the pretty printer for Word32.word *)