mypy.solve

module documentation
(source)

Type inference constraint solving
Function solve​_constraints Solve type constraints.
def solve_constraints(vars, constraints, strict=True): (source)

Solve type constraints.

Return the best type(s) for type variables; each type can be None if the value of the variable could not be solved.

If a variable has no constraints, if strict=True then arbitrarily pick NoneType as the value of the type variable. If strict=False, pick AnyType.

Parameters
vars:List[TypeVarId]Undocumented
constraints:List[Constraint]Undocumented
strict:boolUndocumented
Returns
List[Optional[Type]]Undocumented