herdtools7.asllib
NativeInterpreter.C
module Instr : Instrumentation.SEMINSTR
val type_checking_strictness : Typing.strictness
The strictness of type-checking.
val unroll : int
Loop unrolling threshold