title: General icon: dot
void pkpy_delete(void* p)
Delete a pointer allocated by pkpy_xxx_xxx. It can be VM*, REPL*, char*, etc.
pkpy_xxx_xxx
VM*
REPL*
char*
!!! If the pointer is not allocated by pkpy_xxx_xxx, the behavior is undefined. !!!