lean / keywords
103 entries at this level
- جوڑو_decl_doc add_decl_doc
- سارے all
- تے and
- قطار Array
- جانچ assert
- یقینی_نہ_exists assert_not_exists
- یقینی_نہ_imported assert_not_imported
- غیرہموقت async
- ورتاؤ behavior
- بولین Bool
- ڈوہویں both
- ٹٹو break
- نال by
- پھڑ catch
- اکھر char
- حرف Char
- جماعت class
- موازنہ compare
- جاری continue
- declare_syntax_بلی declare_syntax_cat
- decreasing_نال decreasing_by
- default_واقعہ default_instance
- deprecated_ماڈیول deprecated_module
- کرو do
- docs_تک_verso docs_to_verso
- elab_قوانین elab_rules
- ورنہ else
- مک end
- مک_مقامی_دائرہ end_local_scope
- برابر Eq
- غلطی error
- مثال example
- برآمد export
- ودھاوے extends
- ناکام failure
- کاذب false
- لازم finally
- اعشاری Float
- لئی for
- کنوں from
- تفریح fun
- اشاریہ get
- نقشہ HashMap
- مجموعہ HashSet
- ہے have
- جے if
- درآمد import
- وچ in
- واقعہ instance
- عدد Int
- غیر جائز invalid
- لمبائی length
- let_تفریح let_fun
- قطار 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_ٹیگ register_tactic_tag
- دہراؤ repeat
- موڑو return
- حصہ section
- سیٹ_اختیار set_option
- نمائش show
- نمائش_term_elab show_term_elab
- لمبائی size
- معذرت sorry
- تحریر String
- ڈھانچہ structure
- علامت symbol
- tactic_وادھا tactic_extension
- tactic_ناں tactic_name
- tactic_ٹیگ tactic_tag
- کم Task
- termination_نال termination_by
- ولا then
- سٹ throw
- صادق true
- آزما try
- بائٹ UInt8
- سنّاٹا Unit
- نامعلوم unknown
- جائز valid
- متغیر variable
- کتھاں where
- دوران while
- نال with
- نال_کمزور_namespace with_weak_namespace