Function skiff::type_inferencer::unification::unify_constraints [−][src]
pub fn unify_constraints(
constraint_set: ConstraintSet
) -> Result<SubstitutionSet, InferenceError>
pub fn unify_constraints(
constraint_set: ConstraintSet
) -> Result<SubstitutionSet, InferenceError>