Lines Matching refs:dst
103 val copy : {src : array, dst : array, di : FixedInt.int} -> unit
104 val copyVec : {src : vector, dst : array, di : FixedInt.int} -> unit
127 val copy = fn {di, dst, src} => copy {di=FixedInt.fromLarge di, dst=dst, src=src}
128 val copyVec = fn {di, dst, src} => copyVec {di=FixedInt.fromLarge di, dst=dst, src=src}
153 val copy = fn {di, dst, src} => copy {di=FixedInt.fromLarge di, dst=dst, src=src}
154 val copyVec = fn {di, dst, src} => copyVec {di=FixedInt.fromLarge di, dst=dst, src=src}
255 val copy : {src : slice, dst : array, di : FixedInt.int} -> unit
256 val copyVec : {src : vector_slice, dst : array, di : FixedInt.int} -> unit
279 val copy = fn {di, dst, src} => copy {di=FixedInt.fromLarge di, dst=dst, src=src}
280 val copyVec = fn {di, dst, src} => copyVec {di=FixedInt.fromLarge di, dst=dst, src=src}
304 val copy = fn {di, dst, src} => copy {di=FixedInt.fromLarge di, dst=dst, src=src}
305 val copyVec = fn {di, dst, src} => copyVec {di=FixedInt.fromLarge di, dst=dst, src=src}
368 and copy' {src, dst, dst_row, dst_col} =
369 copy {src = mapRegion src, dst = dst, dst_row = FixedInt.fromLarge dst_row, dst_col = FixedInt.fromLarge dst_col }