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
- مع_ضعيف_namespace with_weak_namespace