Up
–
frama-c-wp
»
Wp
»
Layout
» RW
Module
Layout.RW
Read-Write access
val
default :
unit
->
bool
val
merge :
bool
->
bool
->
bool