Lines Matching defs:copy
14 You should have received a copy of the GNU Lesser General Public
103 val copy : {src : array, dst : array, di : FixedInt.int} -> unit
127 val copy = fn {di, dst, src} => copy {di=FixedInt.fromLarge di, dst=dst, src=src}
153 val copy = fn {di, dst, src} => copy {di=FixedInt.fromLarge di, dst=dst, src=src}
255 val copy : {src : slice, dst : array, di : FixedInt.int} -> unit
279 val copy = fn {di, dst, src} => copy {di=FixedInt.fromLarge di, dst=dst, src=src}
304 val copy = fn {di, dst, src} => copy {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 }
374 and copy = copy'