Frama-C API - E
Relocatable effect (a predicate that depend on two states).
val pretty : Stdlib.Format.formatter -> t -> unit
val create : S.t Sigs.sequence -> Lang.F.pred -> t
Bundle an equation with the sigma sequence that created it
val get : t -> Lang.F.pred
val relocate : S.t Sigs.sequence -> t -> t