522cf5a ^
1 2 3
definition module merge mergeFiles :: !*File !*File !*File -> (!.File,!.File,!.File)