Uses of Package
orc.type.inference

Packages that use orc.type.inference

orc.type
orc.type.structured

Classes in orc.type.inference used by orc.type

Constraint
Upper and lower bound constraints on a type variable.

InferenceContinuation
A continuation to invoke type argument inference during type checking.

Classes in orc.type.inference used by orc.type.structured

Constraint
Upper and lower bound constraints on a type variable.