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 types
 * `Real` : the mathematical real numbers
 * `Float<Integer e, Integer f>` : IEEE754 floating point numbers
* `Struct`
 * list of name-type pairs
 * bit-widths?
* `Array<T>`
 * `Array<Integer n,T>`
* `Function<S1,...,Sn;T>`
* `Pointer<T>`

When are two types equal?

What are two types compatible?

== Values ==



== Expressions ==


== Statements ==

* Assign
* Call
* Spawn
* Wait



== Program Graph ==

== Model ==


== Libraries ==