sig
val
file :
string
->
(string
->
string
->
string)
->
string
->
Datatype
.
Filepath
.t
end