(j3.2006) Interesting new thing in Ada 2012

[Van Snyder]

In 2012, Ada added a new thing called an expression function.  See
http://www.ada-auth.org/standards/12aarm/html/AA-6-8.html

Here's an example:

function Is_Origin ( P: in Point ) return Boolean is (P.X = 0.0 and P.Y = 0.0);

It's interesting they decided to add this shortly after we decided to
print all the statement function material in obsolescent font.