reserved

c.Reserved.keywords

def Reserved.keywords : List String

The keywords.

def Reserved.functions0 : List String

The library’s functions, part 0.

def Reserved.functions1 : List String

The library’s functions, part 1.

def Reserved.functions2 : List String

The library’s functions, part 2.

def Reserved.functions3 : List String

The library’s functions, part 3.

def Reserved.functions4 : List String

The library’s functions, part 4.

def Reserved.functions5 : List String

The library’s functions, part 5.

def Reserved.functions6 : List String

The library’s functions, part 6.

def Reserved.functions7 : List String

The library’s functions, part 7.

def Reserved.functions8 : List String

The library’s functions, part 8.

def Reserved.functions9 : List String

The library’s functions, part 9.

def Reserved.macros0 : List (String * String)

The macros each header defines (header, name): reserved for any use where the header is included (7.1.3p1), part 0.

def Reserved.macros1 : List (String * String)

The macros each header defines (header, name): reserved for any use where the header is included (7.1.3p1), part 1.

def Reserved.macros2 : List (String * String)

The macros each header defines (header, name): reserved for any use where the header is included (7.1.3p1), part 2.

def Reserved.macros3 : List (String * String)

The macros each header defines (header, name): reserved for any use where the header is included (7.1.3p1), part 3.

def Reserved.macros4 : List (String * String)

The macros each header defines (header, name): reserved for any use where the header is included (7.1.3p1), part 4.

def Reserved.macros5 : List (String * String)

The macros each header defines (header, name): reserved for any use where the header is included (7.1.3p1), part 5.

def Reserved.macros : List (String * String)

The macros each header defines (header, name): reserved for any use where the header is included (7.1.3p1).

def Reserved.types0 : List (String * String)

The types each header declares (header, name): reserved at file scope where the header is included, part 0.

def Reserved.types1 : List (String * String)

The types each header declares (header, name): reserved at file scope where the header is included, part 1.

def Reserved.types : List (String * String)

The types each header declares (header, name): reserved at file scope where the header is included.

def Reserved.functions : List String

The library’s functions and function-like macros.