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