package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Layout.Cluster`Source

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

Sourceval deref : pointed:'a 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

Sourceval is_empty : 'a cluster -> bool

Sourceval is_garbled : 'a cluster -> bool

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