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
• 假 false
• 终 finally
• 浮点 Float
• 循环 for
• 从 from
• 索引 get
• 映射 HashMap
• 集合 HashSet
• 如果 if
• 导入 import
• 在 in
• 整 Int
• 無效 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
• 真 true
• 试 try
• 字节 UInt8
• 無 Unit
• 有效 valid
• 变量 variable
• 当 while
• 随 with
• 随_weak_namespace with_weak_namespace