package frama-c

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val 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
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
OCaml

Innovation. Community. Security.