class Constraint: (source)
A representation of a type constraint.
It can be either T <: type or T :> type (T is a type variable).
| Method | __init__ |
Undocumented |
| Method | __repr__ |
Undocumented |
| Instance Variable | op |
Undocumented |
| Instance Variable | target |
Undocumented |
| Instance Variable | type_var |
Undocumented |