let is_implicit lst_path = match lst_path with ParentDir :: _ | (CurrentDir _) :: _ | Component _ :: _ -> true | _ -> false