AFAIK, there is no difference in meaning between the `if` construct and the `when` syntax: https://github.com/AdaDoom3/ada-spark-rfcs-1/blob/master/con...

This, together with the `@` syntax, are interesting cases of adding a bit more sugar to Ada. Hopefully it heralds a good future.