lean / keywords
144 entries at this level
- додати_оголош_док add_decl_doc
- усі all
- і and
- масив Array
- стверджувати assert
- assert_not_існує assert_not_exists
- assert_not_імпортовано assert_not_imported
- асинхронний async
- поведінка behavior
- зв'язувач_предикат binder_predicate
- булевий Bool
- обидва both
- перерва break
- вбудований_ініціалізувати builtin_initialize
- за by
- перехопити catch
- символ char
- символ Char
- клас class
- порівняти compare
- продовжити continue
- dbg_трасування dbg_trace
- оголосити_syntax_кіт declare_syntax_cat
- decreasing_за decreasing_by
- озн def
- типовий_екземпляр default_instance
- залежний dependent
- застарілий_модуль deprecated_module
- застарілий_syntax deprecated_syntax
- роби do
- документи_до_verso docs_to_verso
- elab_правила elab_rules
- інакше else
- кінець end
- кінець_локальний_область end_local_scope
- епсилон epsilon
- рівне Eq
- помилка error
- приклад example
- збій failure
- хибність false
- нарешті finally
- дійсний Float
- з from
- забава fun
- індекс get
- мапа HashMap
- множина HashSet
- мати have
- приховування hiding
- ідент ident
- ідентифікатор identifier
- якщо if
- імпорт import
- в in
- включити include
- відступ indentation
- ініт_quot init_quot
- ініціалізувати initialize
- вбудований inline
- екземпляр instance
- цілий Int
- вступ intro
- некоректний invalid
- ключове-слово_токени keyword_tokens
- провідний_парсер leading_parser
- довжина length
- нехай let
- нехай_відкладений let_delayed
- нехай_expr let_expr
- нехай_забава let_fun
- нехай_тимч let_tmp
- список List
- локальний local
- макрос macro
- макрос_правила macro_rules
- збіг match
- збіг_expr match_expr
- макс max
- мета meta
- мін min
- модуло mod
- модуль module
- ім'я name
- простір-імен namespace
- ні_індекс no_index
- порожньо none
- опустити omit
- непрозорий opaque
- vidkryty open
- abo or
- парсер parser
- частковий partial
- частковий_fixpoint partial_fixpoint
- постфікс postfix
- префікс prefix
- преамбула prelude
- приватний private
- кортеж Prod
- публічний public
- рекомендований_правопис recommended_spelling
- регістр_помилка_explanation register_error_explanation
- регістр_парсер_псевдонім register_parser_alias
- регістр_tactic_tag register_tactic_tag
- перейменування renaming
- повторити repeat
- повернути return
- обмежений scoped
- секція section
- встановити_optsiia set_option
- показати show
- показати_термін_elab show_term_elab
- від since
- одинак singleton
- розмір size
- пропустити skip
- спеціалізувати specialize
- рядок str
- рядок String
- структурний structural
- структура structure
- tactic_ім'я tactic_name
- завдання Task
- термін term
- завершення_за termination_by
- тоді then
- кинути throw
- токен token
- кінцевий_парсер trailing_parser
- істина true
- спробувати try
- байт UInt8
- нічого Unit
- невідомий unknown
- якщо-не unless
- розблокувати_межі unlock_limits
- небезпечний unsafe
- доки until
- коректний valid
- змінна variable
- де where
- поки while
- з with
- з_слабкий_простір-імен with_weak_namespace