module E:sig
..end
type
t
val pretty : Format.formatter -> t -> unit
val create : S.t Sigs.sequence -> Lang.F.pred -> t
val get : t -> Lang.F.pred
val reads : t -> S.domain
val writes : t -> S.domain
val relocate : S.t Sigs.sequence -> t -> t