Module Compiler_util.Loop

val nb : Datatypes.nat