Module Frama_c_kernel.Unfold_loops

Syntactic loop unfolding. Uses code transformation hook mechanism (after-cleanup phase) of File and exports nothing.

Name of the transformation is "loop unfolding"