Module type Wp.Memory.Chunk

module type Chunk = sig .. end

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.