Lines Matching refs:word
22 (* TODO: Use a single word for vectors of size <= number of bits in a word. *)
23 (* We use int here for the length rather than word because the number of bits
24 could be more than the maximum value of Word.word. *)
28 val wordSize : word = LibrarySupport.wordSize
30 (* Casts between int and word. *)
31 val intAsWord: int -> word = RunCall.unsafeCast
32 and wordAsInt: word -> int = RunCall.unsafeCast
45 val words : word =
150 fun do_move last byte len : word =
168 val newbyte: word = last orb (nextsrc << dest_bit)