Module Translate_lightweight

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


Nothing is exported, we only add a code transformation in File.prepare_cil_file. Name of the transformation is "lightweight spec"
val lightweight_transform : File.code_transformation_category