Compound
val garbled : Offset.cache -> offset -> 'a -> 'a layout
val reshape : eq:('a -> 'a -> bool) -> flat:bool -> pack:bool -> 'a layout -> 'a layout
Frama-C