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 |