Up
–
frama-c-wp
»
Wp
»
WpContext
»
StaticGenerator
» D
Parameter
StaticGenerator.D
type
key
=
K.t
type
data
val
name : string
val
compile :
key
->
data