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