P99

◆ double_destroy()

p99_inline void double_destroy ( double p00_id)

destroy the object that p00_id points to.

Definition at line 118 of file p99_typenames.h.