Lines Matching refs:dst
133 fun copy {src: 'a array as s, dst: 'a array as d, di: int} =
137 if di < 0 orelse di+len > length dst
143 fun copyVec {src: 'a vector, dst: 'a array as d, di: int} =
147 if di < 0 orelse di+len > length dst
253 fun copy {src = Slice{array=s, start=srcStart, length=srcLen}, dst, di: int} =
257 else (Array.update(dst, n+di, Array.sub(s, n+srcStart)); copyUp(n+1))
261 else (Array.update(dst, n+di, Array.sub(s, n+srcStart)); copyDown(n-1))
263 if di < 0 orelse di+srcLen > Array.length dst
271 fun copyVec {src: 'a VectorSlice.slice, dst: 'a array as d, di: int} =
275 if di < 0 orelse di+len > Array.length dst