module Machdep:Machine dependent values.sig
..end
type
t = private {
|
mutable gcc : |
|
mutable msvc : |
|
mutable gccHas__builtin_va_list : |
|
mutable __thread_is_keyword : |
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