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 Float
- برائے for
- سے from
- اشاریہ get
- ڈکشنری HashMap
- مجموعہ HashSet
- اگر 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
- byte UInt8
- معدوم Unit
- درست valid
- متغیر variable
- جبتک while
- ساتھ with
- ساتھ_weak_namespace with_weak_namespace