lean / keywords
74 entries at this level
- qoshish_decl_doc add_decl_doc
- barchasi all
- va and
- massiv Array
- tasdiqlash assert
- tasdiqlash_emas_exists assert_not_exists
- tasdiqlash_emas_imported assert_not_imported
- async
- mantiqiy Bool
- toxtatish break
- boyicha by
- ushlash catch
- belgi char
- belgi Char
- sinf class
- solishtir compare
- davom continue
- decreasing_boyicha decreasing_by
- standart_instance default_instance
- deprecated_modul deprecated_module
- bajarish do
- docs_ga_verso docs_to_verso
- boshqa else
- oxiri end
- oxiri_lokal_qamrov end_local_scope
- teng Eq
- xato error
- eksport export
- kengaytiradi extends
- muvaffaqiyatsizlik failure
- yolg'on false
- nihoyat finally
- float Float
- uchun for
- dan from
- indeks get
- map HashMap
- toʻplam HashSet
- agar if
- ichida in
- int Int
- noto'g'ri invalid
- uzunlik length
- roʻyxat List
- lokal local
- moslik match
- moslik_expr match_expr
- max
- min
- modul mod
- modul module
- nom name
- yoq_indeks no_index
- yoʻq none
- ochish open
- yoki or
- kortej Prod
- register_xato_explanation register_error_explanation
- qaytarish return
- toplam_option set_option
- hajm size
- satr String
- tactic_nom tactic_name
- vazifa Task
- termination_boyicha termination_by
- tashlash throw
- rost true
- sinab try
- bayt UInt8
- bekor Unit
- to'g'ri valid
- ozgaruvchi variable
- bilan with
- bilan_weak_namespace with_weak_namespace