Add Copy2
Picked out the changes of copy2.ml from layer
branch
- This MR adds
Copy2
and removesCopy
- It may be better to replace the old one with the new one (Can I rename the current
Copy2
toCopy
?) - Including changes to
diff.ml
- It may be better to replace the old one with the new one (Can I rename the current
Edited by taiseiKMC