Uses of Class
orc.type.inference.Constraint

Packages that use Constraint

orc.type
orc.type.structured

Uses of Constraint in orc.type

Methods in orc.type with parameters of type Constraint

void	TypeVariable.addConstraints(Env<java.lang.Boolean> VX, Type T, Constraint[] C)
void	TypeInstance.addConstraints(Env<java.lang.Boolean> VX, Type T, Constraint[] C)
void	Type.addConstraints(Env<java.lang.Boolean> VX, Type T, Constraint[] C)

Uses of Constraint in orc.type.structured

Methods in orc.type.structured with parameters of type Constraint

void	TupleType.addConstraints(Env<java.lang.Boolean> VX, Type T, Constraint[] C)
void	ArrowType.addConstraints(Env<java.lang.Boolean> VX, Type T, Constraint[] C)