Lines Matching refs:word
29 (* Values of type Word8.word can be in the range 0..255 and
39 Word8.word values and Char.char. It assumes that the underlying
44 val maxWordAsWord: word = RunCall.unsafeCast maxWord
56 (* Internal function to convert from Word.word. *)
57 fun fromWord (w: Word.word) = andb(w, maxWordAsWord)
59 (* Converting from LargeWord.word. First convert to Word.word and
76 fun op ~>> (a: word, b: Word.word): word =
82 fun op << (a: word, b: Word.word): word = andb(Word.<<(a,b), maxWordAsWord)
86 val toInt: word->int = RunCall.unsafeCast
92 fun toIntX (x: word) : int =
105 (* Convert to a large word by sign extending. *)
106 fun toLargeWordX (w: word): LargeWord.word =
136 fun convWord s : Word8.word =
139 (* The word value must consist of at least 0w and a digit. *)
147 (* Install the pretty printer for Word8.word *)