Frama-C API - Info
Datatype registration information.
val package : Package.packageval descr : Frama_c_kernel.Markdown.text
Frama-C Frama-C InfoDatatype registration information.
val package : Package.packageval descr : Frama_c_kernel.Markdown.text