Type Definition php_all_sys::php72::zend_type[−][src]

type zend_type = usize;