Lines Matching refs:word
31 address*address*word*word*word->unit = RunCall.moveBytes
33 val wordSize : word = LibrarySupport.wordSize
36 fun singleCharString(c: word): string =
46 val intAsWord: int -> word = RunCall.unsafeCast
58 val bcopy: string*string*word*word*word -> unit = RunCall.moveBytes
61 fun unsafeStringSub(s: string, i: word): char =
64 fun unsafeSubstring(s: string, i: word, l: word) : string =
84 (* Casts between int and word. *)
85 val intAsWord: int -> word = RunCall.unsafeCast
86 and wordAsInt: word -> int = RunCall.unsafeCast
114 val byteVecEq: string * string * word * word * word -> bool = RunCall.byteVectorEqual
121 fun stringExplode (s: string, i: word, l: word) : char list =
257 val chars: word = unsignedShortOrRaiseSize listLength
531 val mem_move: string*string*word*word*word -> unit = RunCall.moveBytes
548 val len: word = sizeAsWord s
636 datatype cs = Index of word
1101 way as strings, with a length word in the first word, or we
1157 fun fromList' (l : char list) : word*address =
1333 fun unsafeVecSub(s, i: word) = RunCall.loadByteFromImmutable(s, i + wordSize)
1556 (* Because m and n are word values n-m is UNSIGNED so we have to check
1664 (* The source is represented by a string whose first word is the length. *)