AQLDoc/AQL_GR_014.html

## Rule `Statement_4`

`Statement` |  | `Expression` `EOS`

#### Description

This statement first infers/verifies a unique principal type for the given expression, and if such a unique type exists, compiles and evaluates it. Then, AQL prints the result of each expression it evaluates in the form `value : type` (suppressing this result display may be done using the `mute` pragma - see `Pragma`).

Copyright © 2013 by Hassan Aït-Kaci; All Rights Reserved.