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