module type Chunk =sig
..end
type
t
val self : string
val hash : t -> int
val compare : t -> t -> int
val pretty : Format.formatter -> t -> unit
val tau_of_chunk : t -> Wp.Lang.F.tau
val basename_of_chunk : t -> string
val is_framed : t -> bool