Module MemTyped.Chunk

module Chunk: sig .. end

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 : 'a -> 'a -> bool
val pretty : Format.formatter -> MemTyped.chunk -> unit
val key_of_chunk : MemTyped.chunk -> ('a, Lang.adt) L.datatype
val val_of_chunk : MemTyped.chunk -> ('a, Lang.adt) L.datatype
val tau_of_chunk : MemTyped.chunk -> ('a, Lang.adt) L.datatype
val basename_of_chunk : MemTyped.chunk -> string
val is_framed : 'a -> bool