Searched defs:rest_opt (Results 1 – 1 of 1) sorted by relevance
7 let rest_opt = path_split.next(); in split_path() localVariable18 let rest_opt = path_split.next(); in rsplit_path() localVariable