Frama-C API - Chunk
val empty : chunksval singleton : int -> chunksval mem : int -> chunks -> boolval pretty : int Frama_c_kernel.Pretty_utils.formatter -> chunks Frama_c_kernel.Pretty_utils.formatter
Frama-C Frama-C Chunkval empty : chunksval singleton : int -> chunksval mem : int -> chunks -> boolval pretty : int Frama_c_kernel.Pretty_utils.formatter -> chunks Frama_c_kernel.Pretty_utils.formatter