Package orc.type.inference

Class Summary

Constraint	Upper and lower bound constraints on a type variable.
InferenceContinuation	A continuation to invoke type argument inference during type checking.

Exception Summary

InferenceRequest

A special exception raised and caught within the typechecker to request the inference of missing type parameters on a call.