module Functions:sig
..end
val has_fundef : Cil_types.exp -> bool
true
if a function whose name is given via exp
is defined and
false
otherwiseOperations on function belonging to the runtime library of E-ACSL
module RTL:sig
..end
Operations on functions belonging to standard library
module Libc:sig
..end