Type Definition capsule_ffi::FILE

type FILE = _IO_FILE;