lean / keywords
76 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
- синф 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
- андоза size
- сатр String
- tactic_ном tactic_name
- вазифа Task
- termination_бо termination_by
- партоб throw
- рост true
- кӯш try
- байт UInt8
- беарзиш Unit
- дуруст valid
- тағйирёбанда variable
- то while
- бо with
- бо_weak_namespace with_weak_namespace