lean / keywords
141 entries at this level
- 加える_decl_ドキュメント add_decl_doc
- すべて all
- かつ and
- 配列 Array
- アサート assert
- アサート_否定_存在する assert_not_exists
- アサート_否定_取り込む assert_not_imported
- 非同期 async
- 属性 attribute
- 動作 behavior
- バインダー_述語 binder_predicate
- 真偽値 Bool
- 割る break
- builtin_初期化する builtin_initialize
- …によって by
- キャッチ catch
- 文字 char
- 文字型 Char
- クラス class
- 比較 compare
- 続く continue
- dbg_痕跡 dbg_trace
- 宣言する_統語論_猫 declare_syntax_cat
- decreasing_…によって decreasing_by
- デフォルト_インスタンス default_instance
- 依存 dependent
- 非推奨_モジュール deprecated_module
- 非推奨_統語論 deprecated_syntax
- する do
- ドキュメント_へ_裏面 docs_to_verso
- elab_ルール elab_rules
- それ以外 else
- 終わる end
- 終わる_現地_スコープ end_local_scope
- 等しい eq
- 等しい Eq
- エラー error
- 例題 example
- 想定内 expected
- 輸出 export
- 公開 expose
- 伸ばす extends
- フェイル failure
- 偽 false
- ファイナリー finally
- 浮動小数点数 Float
- 繰り返し for
- から from
- 添字 get
- マップ HashMap
- セット HashSet
- 持つ have
- 非表示 hiding
- もし if
- インポート import
- に in
- 含む include
- インデント indentation
- 初期化する initialize
- インスタンス instance
- 整数 Int
- イントロ intro
- 非妥当 invalid
- トークン keyword_tokens
- 先頭_パーサー leading_parser
- 長さ length
- レット let
- レット_遅延 let_delayed
- レット_expr let_expr
- レット_fun let_fun
- レット_tmp let_tmp
- リスト List
- 現地 local
- マクロ macro
- マクロ_ルール macro_rules
- 合う match
- 合う_expr match_expr
- 最大 max
- 最小 min
- 剰余 mod
- モジュール module
- 名 name
- ません_インデックス no_index
- 空値 none
- 記法 notation
- 抜かす omit
- 不透明 opaque
- 開いた open
- 又は or
- パーサー parser
- 部分的 partial
- 部分的_fixpoint partial_fixpoint
- 接頭辞 prefix
- 非公開 private
- タプル Prod
- 公開 public
- 推奨_綴り字 recommended_spelling
- 登録_エラー_説明 register_error_explanation
- 登録_パーサー_仮名 register_parser_alias
- 登録_tactic_タグ register_tactic_tag
- 繰り返す repeat
- 戻る return
- スコープ scoped
- 部分 section
- 設定_選択 set_option
- 見せる show
- 見せる_期間_elab show_term_elab
- …以来 since
- 大きさ size
- スキップ skip
- 特化+する specialize
- 文字列 String
- 構造的 structural
- 構造 structure
- シンボル symbol
- 統語論 syntax
- tactic_代替 tactic_alt
- tactic_拡張 tactic_extension
- tactic_名 tactic_name
- tactic_タグ tactic_tag
- タグ tags
- タスク Task
- 期間 term
- 終了_…によって termination_by
- 次に then
- スロー throw
- トークン token
- 後続_パーサー trailing_parser
- 真 true
- トライ try
- バイト UInt8
- void Unit
- 不明 unknown
- ロック解除_限界 unlock_limits
- 安全でない unsafe
- 妥当 valid
- 変数 variable
- どこ where
- 期間 while
- とともに with
- とともに_弱い with_weak_namespace