hax_lib_macros::hax_paths

Function expect_simple_path

Source 
fn expect_simple_path(path: &Path) -> Option<Vec<String>>