Brian Rogoff:
No, OCaml doesn't quite do what the OP is asking for. In particular, the part where x is assigned an int and subsequently assigned a float can not be modeled directly.
I see, then this is not related to the flow typing I have linked to, sorry.
Bye, bearophile
