Module Wp.Memory.Model.Chunk

module Chunk: Wp.Memory.Chunk 

type t 
val self : string
Chunk names, for pretty-printing
val hash : t -> int
val compare : t -> t -> int
val pretty : Format.formatter -> t -> unit
val tau_of_chunk : t -> Wp.Lang.F.tau
val basename_of_chunk : t -> string
val is_framed : t -> bool
Whether the Chunk is local to a function. Means the chunk is separated from any call side-effect.