Provide a copy of a boxed structure src_boxed which is of type boxed_type.
The type of src_boxed.
The boxed structure to be copied.
The newly created copy of the boxed structure.
See Implementation
Provide a copy of a boxed structure src_boxed which is of type boxed_type.