Module Translate_lightweight


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

val interprate : Cil_types.file -> unit