sig   type t   val self : string   val hash : Wp.Memory.Chunk.t -> int   val compare : Wp.Memory.Chunk.t -> Wp.Memory.Chunk.t -> int   val pretty : Format.formatter -> Wp.Memory.Chunk.t -> unit   val tau_of_chunk : Wp.Memory.Chunk.t -> Wp.Lang.F.tau   val basename_of_chunk : Wp.Memory.Chunk.t -> string   val is_framed : Wp.Memory.Chunk.t -> bool end