Module Unroll_loops


module Unroll_loops: sig .. end
Syntactic loop unrolling.

val compute : int -> Cil_types.file -> unit