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