Judy::size
judy_type
Judy
PHP Manual
Judy 関数
目次
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