E_ACSL.Functions
val has_fundef : Frama_c_kernel.Cil_types.exp -> bool
val check : Frama_c_kernel.Cil_types.kernel_function -> bool
val instrument : Frama_c_kernel.Cil_types.kernel_function -> bool
module RTL : sig ... end
module Libc : sig ... end
module Concurrency : sig ... end