functor (X : sig val option_name : string val help : string val arg_name : string val existence : Filepath.existence val file_kind : string end) -> Filepath