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