definition module merge mergeFiles :: !*File !*File !*File -> (!.File,!.File,!.File)