Module Machdep


module Machdep: sig .. end
Apply this funtor to set all the above references at once. Set the machine of the current project only after the call of Cil.initCIL: this functor application has no effect if Cil.initCIL is not called after the application.


type t = private {
   mutable gcc : Cil_types.mach;
   mutable msvc : Cil_types.mach;
   mutable gccHas__builtin_va_list : bool;
   mutable __thread_is_keyword : bool;
}
val state : t
module DEFINE: 
functor (M : sig
val gcc : Cil_types.mach
val msvc : Cil_types.mach
val gccHas__builtin_va_list : bool
val __thread_is_keyword : bool
end) -> sig .. end
Apply this funtor to set all the above references at once.