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