Function cranelift_isle::overlap::check

pub fn check(
    tyenv: &TypeEnv,
    termenv: &TermEnv,
) -> Result<Vec<(TermId, RuleSet)>, Errors>

Check for overlap.