From (frama-c-from.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