Parameter RunTime.C

Scopes for interpretation: make local storage identifiers unique accross function calls, if needed.

type v

Stored elements of the environment.

val unroll : int

unroll is the number of time a loop can be unrolled.