Esempio n. 1
0
 def subc(self, type_var: TypeVarType, bound: Type) -> Constraint:
     return Constraint(type_var.id, SUBTYPE_OF, bound)
Esempio n. 2
0
 def subc(self, type_var, bound):
     return Constraint(type_var.name, SUBTYPE_OF, bound)