Up
–
frama-c-server
»
Server
»
Data
» Info
Module type
Data.Info
Datatype information.
val
name : string