The CIVL-IR.  Also known as "CIVL model".

==  Static Types ==

* `Boolean`
* Integer types
 * `Integer` : the mathematical integers
 * `Int<Integer lo, Integer hi, Boolean wrap>`
  * finite interval of integers [lo,hi].  If `wrap` is true then all operations "wrap", otherwise, any operation resulting in a value outside of the interval results in an exception being thrown.
* Real
 * `Real` : the mathematical real numbers
 * `Float<Integer e, Integer f>` : IEEE754 floating point numbers
* Struct
* Array
* Function

== Values ==



== Expressions ==



== Program Graph ==

== Model ==