package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type
val garbled : Offset.cache -> offset -> 'a -> 'a layout
val reshape : eq:('a -> 'a -> bool) -> flat:bool -> pack:bool -> 'a layout -> 'a layout