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

type jmp_buf = [__jmp_buf_tag; 1];