Module type Memory.Chunk

module type Chunk = sig .. end

type t 
val self : string
val hash : t -> int
val compare : t -> t -> int
val pretty : Format.formatter -> t -> unit
val tau_of_chunk : t -> 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.