module Dep_eva: sig .. end
sig
end
val use_builtin : Cil_types.kernel_function -> string -> unit
Cil_types.kernel_function -> string -> unit
Call the function Eva.Value_parameters.use_builtin if Eva is enabled, do nothing otherwise.