Judy::size
judy_type
Judy
PHP Manual
Judy Funzioni
Indice dei contenuti
judy_type
— Return the type of a Judy array
judy_version
— Return or print the current PHP Judy version
Judy::size
judy_type
Judy
PHP Manual