Function cranelift_codegen_meta::cdsl::type_inference::unify

fn unify(
    tv1: &TypeVar, 
    tv2: &TypeVar, 
    type_env: &mut TypeEnvironment
) -> Result<(), String>

Unify tv1 and tv2 in the given type environment. tv1 must have a rank greater or equal to tv2's one, modulo commutations.