P99

◆ int_destroy()

p99_inline void int_destroy ( int *  p00_id)

destroy the object that p00_id points to.

Definition at line 133 of file p99_typenames.h.