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