sig
  type t = 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
end