module Chunk:sig
..end
typet =
MemVar.Make.chunk
val self : string
val hash : MemVar.Make.chunk -> int
val compare : MemVar.Make.chunk -> MemVar.Make.chunk -> int
val equal : MemVar.Make.chunk -> MemVar.Make.chunk -> bool
val pretty : Format.formatter -> MemVar.Make.chunk -> unit
val tau_of_chunk : MemVar.Make.chunk -> Lang.tau
val basename_of_chunk : MemVar.Make.chunk -> string
val is_framed : MemVar.Make.chunk -> bool