Parameter NativeInterpreter.C

val type_checking_strictness : Typing.strictness

The strictness of type-checking.

val unroll : int

Loop unrolling threshold