Classify | |
Environment | |
Extends |
Standard integer types in C99 (Cf.
|
Format_parser | |
Format_pprint |
Rewrites the format as its string representation.
|
Format_string | |
Format_typer | |
Format_types |
See C11, 7.21.6
|
Generic | |
Options | |
Register | |
Standard | |
Translate | |
Va_build | |
Va_types |
Function declared and not known by Frama-C
|
Variadic |