sig
  val dir_writer : FilePath_type.filename_part list -> string
  val dir_reader : Lexing.lexbuf -> FilePath_type.filename_part list
  val path_writer : FilePath_type.filename list -> string
  val path_reader : Lexing.lexbuf -> FilePath_type.filename list
end