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