lean / keywords
114 entries at this level
- ضيف_decl_doc add_decl_doc
- الكل all
- و and
- مصفوفة Array
- تحقق assert
- تأكد_ليس_exists assert_not_exists
- تأكد_ليس_imported assert_not_imported
- لامتزامن async
- صفة attribute
- تصرُّف behavior
- منطقي Bool
- الإتنين both
- اكسر break
- بـ by
- امسك catch
- حرف char
- حرف Char
- كلاس class
- قارن compare
- كمل continue
- dbg_دليل dbg_trace
- declare_syntax_قطة declare_syntax_cat
- decreasing_بـ decreasing_by
- افتراضي_مثال default_instance
- deprecated_وحدة deprecated_module
- افعل do
- docs_إلى_verso docs_to_verso
- elab_قواعد elab_rules
- غير else
- نهاية end
- نهاية_محلي_نطاق end_local_scope
- يساوي Eq
- خطأ error
- مثال example
- مُتوقع expected
- صدّر export
- يفضح expose
- يمتد extends
- فشل failure
- كاذب false
- أخيرًا finally
- float Float
- لكل for
- من from
- مُتعة fun
- فهرس get
- خريطة HashMap
- مجموعة HashSet
- عند have
- لو if
- استورد import
- في in
- يشمل include
- مثال instance
- int Int
- غير صحيح invalid
- طول length
- يسيب let
- يسيب_متأخر let_delayed
- يسيب_expr let_expr
- يسيب_مُتعة let_fun
- يسيب_tmp let_tmp
- قائمة List
- محلي local
- macro_قواعد macro_rules
- طابق match
- طابق_expr match_expr
- أقصى max
- أدنى min
- باقي mod
- وحدة module
- مشترك mutual
- اسم name
- لا_فهرس no_index
- فاضي none
- افتح open
- أو or
- خاص private
- صف Prod
- عام public
- يسجل_خطأ_شرح register_error_explanation
- يسجل_parser_alias register_parser_alias
- يسجل_tactic_tag register_tactic_tag
- يكرر repeat
- ارجع return
- قسم section
- حدد_خيار set_option
- عرض show
- عرض_شرط_elab show_term_elab
- من since
- حجم size
- ينط skip
- معلش sorry
- نص String
- بناء structure
- رمز symbol
- tactic_امتداد tactic_extension
- tactic_اسم tactic_name
- مهمة Task
- شرط term
- termination_بـ termination_by
- ارمِ throw
- صادق true
- جرّب try
- byte UInt8
- عدم Unit
- مجهول unknown
- لِحدّ until
- صحيح valid
- متغير variable
- فين where
- طالما while
- مع with
- مع_ضَعيف_namespace with_weak_namespace