Module Machdep


module Machdep: sig .. end
Machine dependent values.


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.