| 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 |