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