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