« Judy::size
judy_type »
PHP Manual
Judy
Judy Funktionen
Judy Funktionen
Inhaltsverzeichnis
judy_type
— Return the type of a Judy array
judy_version
— Return or print the current PHP Judy version