Function cranelift_isle::overlap::check

source ·
pub fn check(tyenv: &TypeEnv, termenv: &TermEnv) -> Result<()>
Expand description

Check for overlap.