Module Translate_lightweight

module Translate_lightweight: sig .. end
Annotate files interpreting lightweight annotations.

val interprate : Cil_types.file -> unit