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