Frama-C:
Plug-ins:
Libraries:

Frama-C API - Cluster

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