Function skiff::type_inferencer::unification::unify_constraints[][src]

pub fn unify_constraints(
    constraint_set: ConstraintSet
) -> Result<SubstitutionSet, InferenceError>