Frama-C API - `Cluster`

val pretty : 'a Frama_c_kernel.Pretty_utils.formatter -> 'a cluster Frama_c_kernel.Pretty_utils.formatter

val deref : pointed:'a Stdlib.Lazy.t -> deref -> 'a cluster

val shift : Offset.cache -> 'a Frama_c_kernel.Pretty_utils.formatter -> offset -> 'a -> inline:bool -> 'a cluster -> 'a layout

val merge : 'a Frama_c_kernel.Pretty_utils.formatter -> 'a merger -> 'a cluster -> 'a cluster -> 'a cluster

val is_empty : 'a cluster -> bool

val is_garbled : 'a cluster -> bool

val reshape : eq:('a -> 'a -> bool) -> flat:bool -> pack:bool -> 'a cluster -> 'a cluster

Frama-C API - Cluster