帶註釋的 King 參考手冊/定義
King 編譯單元是一系列行；一行是一系列Unicode 字元。
一些字元子集被命名為
- letter_lowercase : ASCII 小寫字母
a .. z - letter_uppercase : ASCII 大寫字母
A .. Z - number_decimal : ASCII 數字
0 .. 9 - graphic_character : 任何與關聯字元文字相關的字元
- underline : ASCII
_
King 程式的形式由形式語法和語義規則描述。
選擇的正式語法大體上借鑑了 Ada RM 第 1.1.4 節“描述方法和語法符號”。
一個變化是終端符號用粗體表示（而不是用 ' 括起來）。
- 提供對子型別或子型別值的有關基本資訊的訪問許可權：'First、'Position、'range ...
- 提供與子型別相關的基本功能：'Image、'Value、'Finalize ...
方面指定實體的屬性：Overflow_Checking、Default_Initial_Condition ...
原始子程式：Length、Is_Empty、Clear ...
-
-