Up
–
frama-c
»
Frama_c_kernel
»
Type
»
String_tbl
» 1-Info
Parameter
String_tbl.1-Info
type
'a t