You can search for identifiers within the package.
in-package search v0.2.0
frama-c-wp.core
CfgCompiler.E
Relocatable effect (a predicate that depend on two states).
type t
val pretty : Format.formatter -> t -> unit
val create : Sigma.sigma Memory.sequence -> Lang.F.pred -> t
Bundle an equation with the sigma sequence that created it
val get : t -> Lang.F.pred
val reads : t -> Sigma.domain
val writes : t -> Sigma.domain
as defined by S.writes
val relocate : Sigma.sigma Memory.sequence -> t -> t