sig
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 : Machdep.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
end