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