module Flx_cil_machdep: sig .. end
sig
end
val gcc : Flx_cil_machdep_type.mach
Flx_cil_machdep_type.mach
val msvc : Flx_cil_machdep_type.mach
val hasMSVC : bool
bool
val gccHas__builtin_va_list : bool
val __thread_is_keyword : bool