module Unroll_annots: sig .. end
sig
end
Syntax extension for unrolling annotations, used by Eva.
val get_unroll_terms : Cil_types.stmt -> Cil_types.term list
Cil_types.stmt -> Cil_types.term list