sig
  type t = unit
  val self : string
  val hash : unit -> int
  val equal : unit -> unit -> bool
  val compare : unit -> unit -> int
  val pretty : '-> unit -> unit
  val tau_of_chunk : unit -> ('a, 'b) MemEmpty.Logic.datatype
  val basename_of_chunk : unit -> string
  val is_framed : unit -> bool
end