Up
–
frama-c-server
»
Server
»
Data
»
Static
» _
Parameter
Static._
val
package :
Package.package
val
name : string
val
descr :
Frama_c_kernel.Markdown.text