lean / keywords
62 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
- နှိုင်းယှဉ်သည် compare
- ဆက် continue
- decreasing_ဖြင့် decreasing_by
- မူရင်း_instance default_instance
- လုပ် do
- docs_သို့_verso docs_to_verso
- မဟုတ်ပါက else
- အဆုံး end
- အဆုံး_local_scope end_local_scope
- ညီမျှသည် Eq
- အမှား error
- ပျက်ကွက် failure
- မမှန် false
- အမြဲလုပ် finally
- ဒဿမကိန်း Float
- မှ from
- အညွှန်း get
- ဒစ်ရှင်နရီ HashMap
- အစုံ HashSet
- ထဲ in
- ကိန်းပြည့် Int
- မခိုင်လုံ invalid
- အရှည် length
- အာရေး List
- ကိုက်ညီ match
- ကိုက်ညီ_expr match_expr
- အများဆုံး max
- အနည်းဆုံး min
- အကြွင်း mod
- နာမည် name
- မရှိ_အညွှန်း no_index
- တန်ဖိုးမရှိ none
- ဖွင့် open
- သို့မဟုတ် or
- တပ်ဂိုး Prod
- register_အမှား_explanation register_error_explanation
- အရှည် size
- စာသားစဉ် String
- tactic_နာမည် tactic_name
- အလုပ်ယူနစ် Task
- termination_ဖြင့် termination_by
- ပစ်လွှတ် throw
- မှန် true
- ကြိုးစား try
- ဘိုက် UInt8
- ဗလာ Unit
- ခိုင်လုံ valid
- နှင့်အတူ with
- နှင့်အတူ_weak_namespace with_weak_namespace