Judy::size
judy_type
Judy
PHP Manual
Judy Functions
Table of Contents
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