You can search for identifiers within the package.
in-package search v0.2.0
frama-c-wp.core
Eva.State
type t
abstract state *
val bottom : t
val join : t -> t -> t
val of_kinstr : Frama_c_kernel.Cil_types.kinstr -> t
of_stmt stmt get the abstract state of stmt. *
of_stmt stmt
stmt
val of_stmt : Frama_c_kernel.Cil_types.stmt -> t
of_kf kf get the join state of all kf's statements states *
of_kf kf
kf
val of_kf : Frama_c_kernel.Cil_types.kernel_function -> t
val pretty : Format.formatter -> t -> unit