Free the boxed structure @boxed which is of type @boxed_type.
The type of @boxed.
The boxed structure to be freed.
See Implementation
Free the boxed structure @boxed which is of type @boxed_type.