fn subst_constraints(constrs: &mut ConstrSet, var: &Variable, ttype: &Type) {
    for (lhs, rhs) in constrs {
        *lhs = lhs.clone().apply_one(var, ttype);
        *rhs = rhs.clone().apply_one(var, ttype);
    }
}
/// Applies a type substitution to all types in a constraint set.
Applies a type substitution to all types in a constraint set.
Applies a type substitution to all types in a constraint set .
fn subst_constraints(constrs: &mut ConstrSet, var: &Variable, ttype: &Type) {
    for (lhs, rhs) in constrs {
        *lhs = lhs.clone().apply_one(var, ttype);
        *rhs = rhs.clone().apply_one(var, ttype);
    }
}
fn subst_constraints ( constrs : & mut ConstrSet , var : & Variable , ttype : & Type ) { for ( lhs , rhs ) in constrs { * lhs = lhs . clone ( ) . apply_one ( var , ttype ) ; * rhs = rhs . clone ( ) . apply_one ( var , ttype ) ; } }
Applies a type substitution to all types in a constraint set.
Applies a type substitution to all types in a constraint set .
constrs
&mut ConstrSet
var
&Variable
ttype
&Type
constrs
&mut ConstrSet
var
&Variable
ttype
&Type