lean / keywords
80 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
- declare_syntax_koška declare_syntax_cat
- 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 Float
- для for
- из from
- индекс get
- словарь HashMap
- множество HashSet
- imet have
- если if
- импорт import
- в in
- int 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
- с_slabyj_namespace with_weak_namespace