Type Definition jvm_rs::jvm::FILE

type FILE = _IO_FILE;