Function expects_path_decoration

pub fn expects_path_decoration(path: &Path) -> Result<Option<String>>

Expects a Path to be a decoration kind: ::hax_lib::<KIND>, hax_lib::<KIND> or <KIND> in (with KIND in DECORATION_KINDS).