Up
–
frama-c-wp
»
Wp
»
Layout
» Flat
Module
Layout.Flat
Flatten arrays
val
default :
unit
->
bool
val
merge :
bool
->
bool
->
bool