Lines Matching defs:copy
14 You should have received a copy of the GNU Lesser General Public
222 fun copy (_, []:string list) = ()
223 | copy (i, H :: T) =
228 copy(i+src_len, T)
231 copy (wordSize, L);
264 fun copy (_, []:char list) = ()
265 | copy (i, H :: T) =
268 copy (i + 0w1, T)
271 copy (wordSize, L);
848 (* Return a copy of the string with a particular character replaced *)
1001 (* Second pass: create the output string and copy to it. *)
1209 the same but in that case diW must be zero and the copy is a no-op. *)
1210 fun copy {src=Array (len, s), dst=Array (dlen, d), di: int} =
1221 copy from si+wordSize. *)
1480 doing it this way for substrings because we don't actually copy the strings. *)
1633 fun copy {src, dst, di: int} =
1640 Instead we use explicit copying choosing to copy up or down depending