lean / keywords

78 entries at this level

• 加_decl_doc add_decl_doc
• 全部 all
• 及 and
• 陣列 Array
• 確驗 assert
• 斷言_毋_exists assert_not_exists
• 斷言_毋_imported assert_not_imported
• 非同步 async
• 布林 Bool
• 跳出 break
• 用 by
• 捙 catch
• 字元 char
• 字元 Char
• 類別 class
• 比較 compare
• 繼續 continue
• decreasing_用 decreasing_by
• 預設_instance default_instance
• deprecated_模組 deprecated_module
• 做 do
• docs_到_verso docs_to_verso
• 無就 else
• 尾 end
• 尾_區域_範圍 end_local_scope
• 等 Eq
• 誤 error
• 輸出 export
• 延伸 extends
• 失 failure
• ké false
• 畢 finally
• 浮點數 Float
• 對 for
• 對 from
• 索引 get
• 對應表 HashMap
• 集合 HashSet
• 若 if
• 匯入 import
• 佇 in
• 整數 Int
• bô-hāu invalid
• 長度 length
• 陣列 List
• 區域 local
• 比對 match
• 比對_expr match_expr
• 最大 max
• 最細 min
• 餘 mod
• 模組 module
• 名 name
• 無_索引 no_index
• 無值 none
• 開 open
• 抑 or
• 私有 private
• 值組 Prod
• 公開 public
• register_錯誤_explanation register_error_explanation
• 回傳 return
• 設_option set_option
• 長度 size
• 字串 String
• tactic_名 tactic_name
• 工課 Task
• termination_用 termination_by
• 拋 throw
• chin true
• 試 try
• 位元組 UInt8
• 空無 Unit
• iú-hāu valid
• 變數 variable
• 當 while
• 佮 with
• 佮_weak_namespace with_weak_namespace