Allow different types for PYSON If
There is no real reason to enforce that both statements of If
should have the same types. Indeed we could consider that the types of the statement is the union of both types.
There is no real reason to enforce that both statements of If
should have the same types. Indeed we could consider that the types of the statement is the union of both types.