next up previous contents index
Next: copy Up: Utilities Previous: flag   Contents   Index


CopyableType


Usage

CopyableType: Category


Description

CopyableType is the category of types whose objects can be copied.


Exports

copy: % $\to$ % Make a copy
copy!: (%, %) $\to$ % In-place copy



Subsections

Manuel Bronstein 2004-06-28