Parameter RunTime.C

type v

Stored elements of the environment.

val unroll : int

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