Module Unroll_annots

module Unroll_annots: sig .. end

Syntax extension for unrolling annotations, used by Eva.


val get_unroll_terms : Cil_types.stmt -> Cil_types.term list