cranelift_isle::overlap

Function check

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

Check for overlap.