Function expects_refine

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

Expects a path to be [[::]hax_lib]::refine