sig
val
merge :
Cil_types
.file list
->
string
->
Cil_types
.file
end