Up
–
frama-c-server
»
Server
»
Data
»
Identified
» 1-A
Parameter
Identified.1-A
type
t
val
id :
t
->
int