Constant php_all_sys::php80::_ZEND_TYPE_EXTRA_FLAGS_SHIFT[][src]

pub const _ZEND_TYPE_EXTRA_FLAGS_SHIFT: u32 = 24;