[][src]Type Definition ptrace_do_rs::FILE

type FILE = _IO_FILE;