Type Definition ptrace_do_rs::cookie_io_functions_t

type cookie_io_functions_t = _IO_cookie_io_functions_t;