cranelift_isle::overlap

Function check

Source
pub fn check(termenv: &TermEnv) -> Result<Vec<(TermId, RuleSet)>, Vec<Error>>
Expand description

Check for overlap.