MemBytes.Sigma
type chunk = Chunk.t
module Chunk : sig ... end
type domain = Chunk.Set.t
val pretty : Stdlib.Format.formatter -> t -> unit
val create : unit -> t
val get : t -> chunk -> Lang.F.var
val value : t -> chunk -> Lang.F.term
val assigned : pre:t -> post:t -> domain -> Lang.F.pred Frama_c_kernel.Bag.t
val iter : (chunk -> Lang.F.var -> unit) -> t -> unit
val iter2 :
(chunk -> Lang.F.var option -> Lang.F.var option -> unit) ->
t ->
t ->
unit
val empty : domain