Skip to content
Cella Lang

standardnames

cpp.StandardNames.headers

Section titled “cpp.StandardNames.headers”
def StandardNames.headers : List String

The headers, in the order of a code’s digits.

cpp.StandardNames.cHeaderDigits

Section titled “cpp.StandardNames.cHeaderDigits”
def StandardNames.cHeaderDigits : List Nat

The positions in a code of the C library headers’ digits (C++17 [headers] table 17; after the kind’s letter): what they declare is in the global namespace too. A number list, not computed from the header names: a definition without parameters is computed again on every use.

cpp.StandardNames.part0

Section titled “cpp.StandardNames.part0”
def StandardNames.part0 : List (String * String)

The names, part 0.

cpp.StandardNames.part1

Section titled “cpp.StandardNames.part1”
def StandardNames.part1 : List (String * String)

The names, part 1.

cpp.StandardNames.part2

Section titled “cpp.StandardNames.part2”
def StandardNames.part2 : List (String * String)

The names, part 2.

cpp.StandardNames.part3

Section titled “cpp.StandardNames.part3”
def StandardNames.part3 : List (String * String)

The names, part 3.

cpp.StandardNames.part4

Section titled “cpp.StandardNames.part4”
def StandardNames.part4 : List (String * String)

The names, part 4.

cpp.StandardNames.part5

Section titled “cpp.StandardNames.part5”
def StandardNames.part5 : List (String * String)

The names, part 5.

cpp.StandardNames.part6

Section titled “cpp.StandardNames.part6”
def StandardNames.part6 : List (String * String)

The names, part 6.

cpp.StandardNames.part7

Section titled “cpp.StandardNames.part7”
def StandardNames.part7 : List (String * String)

The names, part 7.

cpp.StandardNames.part8

Section titled “cpp.StandardNames.part8”
def StandardNames.part8 : List (String * String)

The names, part 8.

cpp.StandardNames.part9

Section titled “cpp.StandardNames.part9”
def StandardNames.part9 : List (String * String)

The names, part 9.

cpp.StandardNames.part10

Section titled “cpp.StandardNames.part10”
def StandardNames.part10 : List (String * String)

The names, part 10.

cpp.StandardNames.part11

Section titled “cpp.StandardNames.part11”
def StandardNames.part11 : List (String * String)

The names, part 11.

cpp.StandardNames.part12

Section titled “cpp.StandardNames.part12”
def StandardNames.part12 : List (String * String)

The names, part 12.

cpp.StandardNames.part13

Section titled “cpp.StandardNames.part13”
def StandardNames.part13 : List (String * String)

The names, part 13.

cpp.StandardNames.part14

Section titled “cpp.StandardNames.part14”
def StandardNames.part14 : List (String * String)

The names, part 14.

cpp.StandardNames.part15

Section titled “cpp.StandardNames.part15”
def StandardNames.part15 : List (String * String)

The names, part 15.

cpp.StandardNames.part16

Section titled “cpp.StandardNames.part16”
def StandardNames.part16 : List (String * String)

The names, part 16.

cpp.StandardNames.part17

Section titled “cpp.StandardNames.part17”
def StandardNames.part17 : List (String * String)

The names, part 17.

cpp.StandardNames.part18

Section titled “cpp.StandardNames.part18”
def StandardNames.part18 : List (String * String)

The names, part 18.

cpp.StandardNames.part19

Section titled “cpp.StandardNames.part19”
def StandardNames.part19 : List (String * String)

The names, part 19.

cpp.StandardNames.part20

Section titled “cpp.StandardNames.part20”
def StandardNames.part20 : List (String * String)

The names, part 20.

cpp.StandardNames.part21

Section titled “cpp.StandardNames.part21”
def StandardNames.part21 : List (String * String)

The names, part 21.

cpp.StandardNames.part22

Section titled “cpp.StandardNames.part22”
def StandardNames.part22 : List (String * String)

The names, part 22.

cpp.StandardNames.part23

Section titled “cpp.StandardNames.part23”
def StandardNames.part23 : List (String * String)

The names, part 23.

cpp.StandardNames.part24

Section titled “cpp.StandardNames.part24”
def StandardNames.part24 : List (String * String)

The names, part 24.

cpp.StandardNames.part25

Section titled “cpp.StandardNames.part25”
def StandardNames.part25 : List (String * String)

The names, part 25.

cpp.StandardNames.table

Section titled “cpp.StandardNames.table”
def StandardNames.table : List (String * String)

Every name with its code.