sig
  type t = MemTyped.chunk
  val self : string
  val rank : MemTyped.chunk -> int
  val hash : MemTyped.chunk -> int
  val name : MemTyped.chunk -> string
  val compare : MemTyped.chunk -> MemTyped.chunk -> int
  val equal : '-> '-> bool
  val pretty : Format.formatter -> MemTyped.chunk -> unit
  val key_of_chunk : MemTyped.chunk -> ('a, Lang.adt) MemTyped.L.datatype
  val val_of_chunk : MemTyped.chunk -> ('a, Lang.adt) MemTyped.L.datatype
  val tau_of_chunk : MemTyped.chunk -> ('a, Lang.adt) MemTyped.L.datatype
  val basename_of_chunk : MemTyped.chunk -> string
  val is_framed : '-> bool
end