(PHP 7 >= 7.4.0, PHP 8)
FFI::free — Libera una estructura de datos no gestionada
Libera manualmente una estructura de datos no gestionada creada previamente.
ptrEl gestor del puntero no gestionado de una estructura de datos C.
No se retorna ningún valor.