Module Post_unrolling_check.E

val pass : string
val for_loop_remains : Compiler_util.pp_error_loc
val inline_instr_remains : Compiler_util.pp_error_loc