lean / keywords

78 entries at this level

• जोड्नुहोस्_decl_doc add_decl_doc
• सबै all
• र and
• array 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
• map 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