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 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 Float
• জন্য for
• থেকে from
• সূচক get
• ম্যাপ HashMap
• সেট HashSet
• যদি if
• আমদানি import
• মধ্যে in
• int 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
• byte UInt8
• নিরর্থক Unit
• বৈধ valid
• চলক variable
• যতক্ষণ while
• সঙ্গে with
• সঙ্গে_weak_namespace with_weak_namespace