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