Module Auto_loop_unroll

module Auto_loop_unroll: sig .. end
Heuristic for automatic loop unrolling.

module Make: 
functor (Abstract : Abstractions.Eva-> sig .. end