module Machdep:Apply this funtor to set all the above references at once. Set the machine of the current project only after the call ofsig
..end
Cil.initCIL
: this functor application has no effect if Cil.initCIL
is not called after the application.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