lean / keywords
82 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
- declare_syntax_gorbe declare_syntax_cat
- 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
- dɑštæn have
- اگر 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
- nešɑn-dɑdæn show
- nešɑn-dɑdæn_term_elab show_term_elab
- اندازه size
- رشته String
- tactic_نام tactic_name
- تسک Task
- termination_توسط termination_by
- بینداز throw
- درست true
- بکوش try
- بایت UInt8
- هیچ Unit
- معتبر valid
- متغیر variable
- تازمانیکه while
- با with
- با_zæʔif_namespace with_weak_namespace