请问CH559UFI.H中的子程序库中的程序在哪里看到？

/* 子程序库中提供的子程序 */
/* 下述子程序中, 文件操作子程序CH559File*和磁盘查询子程序CH559DiskQuery都可能会用到磁盘数据缓冲区pDISK_BASE_BUF,
并且有可能在pDISK_BASE_BUF中保存了磁盘信息, 所以必须保证pDISK_BASE_BUF不被用于其它用途,
如果RAM较少, 要将pDISK_BASE_BUF临时用于其它用途, 那么在临时用完后必须调用CH559DirtyBuffer清除磁盘缓冲区 */
extern UINT8 CH559GetVer( void); /* 获取当前子程序库的版本号 */
extern void CH559DirtyBuffer( void); /* 清除磁盘缓冲区 */
extern UINT8 CH559BulkOnlyCmd( PUINT8X DataBuf); /* 执行基于BulkOnly协议的命令 */
extern UINT8 CH559DiskReady( void); /* 查询磁盘是否准备好 */
extern UINT8 CH559AnalyzeError( UINT8 iMode); /* USB操作失败分析CH559IntStatus返回错误状态 */
extern UINT8 CH559FileOpen( void); /* 打开文件或者枚举文件 */
extern UINT8 CH559FileClose( void); /* 关闭当前文件 */
这些函数在哪里（哪个文件）可以看到？