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