Module Flx_cil_machdep


module Flx_cil_machdep: sig .. end

val gcc : Flx_cil_machdep_type.mach
val msvc : Flx_cil_machdep_type.mach
val hasMSVC : bool
val gccHas__builtin_va_list : bool
val __thread_is_keyword : bool