sig val file : (string -> string -> string) -> string -> string end