Frama-C API - `From`

val is_computed : Frama_c_kernel.Cil_types.kernel_function -> bool

val compute : Frama_c_kernel.Cil_types.kernel_function -> unit

val compute_all : unit -> unit

val get : Frama_c_kernel.Cil_types.kernel_function -> Eva.Assigns.t

val access : Frama_c_kernel.Locations.Zone.t -> Eva.Assigns.Memory.t -> Frama_c_kernel.Locations.Zone.t

val self : Frama_c_kernel.State.t

val pretty : Stdlib.Format.formatter -> Frama_c_kernel.Cil_types.kernel_function -> unit

val display : Stdlib.Format.formatter -> unit

val compute_all_calldeps : unit -> unit

module Callwise : sig ... end

Frama-C API - From