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