Module MemVar.Make.Chunk

module Chunk: sig .. end

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