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.