(self, *a: Type)
| 1384 | assert is_subtype(result, t), f"{result} not subtype of {t}" |
| 1385 | |
| 1386 | def tuple(self, *a: Type) -> TupleType: |
| 1387 | return TupleType(list(a), self.fx.std_tuple) |
| 1388 | |
| 1389 | def callable(self, *a: Type) -> CallableType: |
| 1390 | """callable(a1, ..., an, r) constructs a callable with argument types |
no test coverage detected