Function expects_hax_path

pub fn expects_hax_path(
    allowlist: &[&str],
    path: &Path,
) -> Result<Option<String>>

Expects a Path to be a hax path: ::hax_lib::<KW>, hax_lib::<KW> or <KW> in (with KW in allowlist).