From
val is_computed : Frama_c_kernel.Cil_types.kernel_function -> bool
val compute : Frama_c_kernel.Cil_types.kernel_function -> 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
module Callwise : sig ... end