ClangFrontend.CTrans
module CTrans_funct (F : CModule_type.CFrontend) : CModule_type.CTranslation
Translates instructions: (statements and expressions) from the ast into sil