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