Skip to main content

Module constraints

shape_runtime::type_system

Module constraints 

Source
Expand description

Type Constraint Solver

Solves type constraints generated during type inference to determine concrete types for type variables.

Structsยง

ConstraintSolver