Lines Matching defs:copy
15 You should have received a copy of the GNU Lesser General Public
228 fun copy b l =
239 copy (b+0w1) (l-8)
242 copy 0w0 len;
255 fun copy b l =
266 copy (b+0w1) (l-8)
269 copy 0w0 len;
277 (* Return a copy of the vector with a particular entry replaced *)
418 fun copy {src=Array (slen, s), dst=Array (dlen, d), di: int} =
433 (* fun copy {src as Array (slen, s), dst as Array (dlen, d), di: int} =