Function get_components

src/tcb/path.rs:81–83

(path: &PathBuf)

#[trusted]
pub fn get_components(path: &PathBuf) -> Vec<Component> {
    path.components().collect()
}

#[requires(idx < 4)]
#[pure]