Documentation

Prepare to run an inference function.

Return a list of critical variables as UnitInfo list (most likely to be of the UnitVar constructor).

Return a list of variable names mapped to their corresponding unit that was inferred.

Return a possible list of unsolvable constraints.

Extract the constraint from a given annotated piece of AST.