Module Translate_lightweight


module Translate_lightweight: sig .. end

val interprate : Cil_types.file -> unit