Up
–
frama-c-wp
»
Wp
»
WpContext
» Data
Module type
WpContext.Data
type
key
type
data
val
name : string
val
compile :
key
->
data