Layout.Cluster
val pretty :
'a Frama_c_kernel.Pretty_utils.formatter ->
'a cluster Frama_c_kernel.Pretty_utils.formatter
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