lean / keywords

107 entries at this level

• जोड़ू_decl_doc add_decl_doc
• सभ all
• आ and
• सरणी Array
• सुनिश्चित assert
• दृढ़ोक्ति_नहिं_exists assert_not_exists
• दृढ़ोक्ति_नहिं_imported assert_not_imported
• अतुल्यकालिक async
• गुण attribute
• व्यवहार behavior
• द्विमान Bool
• दुनू both
• तोड़ू break
• द्वारा by
• समात catch
• अक्षर Char
• वर्ग class
• तुलना compare
• जारी continue
• dbg_चिह्न dbg_trace
• declare_syntax_बिलाड़ि declare_syntax_cat
• decreasing_द्वारा decreasing_by
• तयशुदा_उदाहरण default_instance
• deprecated_मॉड्यूल deprecated_module
• करू do
• docs_मे_verso docs_to_verso
• elab_नियम elab_rules
• अन्य else
• अन्त end
• अन्त_स्थानीय_क्षेत्र end_local_scope
• समान Eq
• त्रुटि error
• उदाहरण example
• अपेक्षित expected
• निर्यात export
• देखानाइ expose
• विस्तार extends
• विफल failure
• असत्य false
• अन्तमे finally
• दशमलवांक Float
• लेल for
• सँ from
• मजा fun
• अनुक्रमांक get
• कोश HashMap
• समुच्चय HashSet
• जँ if
• आयात import
• मे in
• उदाहरण instance
• पूर्णांक Int
• अवैध invalid
• लम्बाई length
• let_मजा let_fun
• सरणी List
• स्थानीय local
• macro_नियम macro_rules
• मिलान match
• मिलान_expr match_expr
• अधिकतम max
• न्यूनतम min
• शेषांक mod
• मॉड्यूल module
• पारस्परिक mutual
• नाम name
• नहिं_अनुक्रमणिका no_index
• रिक्त none
• खोलू open
• वा or
• निजी private
• युग्मक Prod
• सार्वजनिक public
• पंजीकरण_त्रुटि_वर्णन register_error_explanation
• पंजीकरण_parser_alias register_parser_alias
• पंजीकरण_tactic_tag register_tactic_tag
• दोहरानाइ repeat
• घुराउ return
• अनुभाग section
• सेट_विकल्प set_option
• प्रदर्शन show
• प्रदर्शन_शर्त_elab show_term_elab
• काहेकी since
• लम्बाई size
• छोड़नाइ skip
• अक्षरमाला String
• ढांचा structure
• प्रतीक symbol
• tactic_फैलाब tactic_extension
• tactic_नाम tactic_name
• कार्य Task
• शर्त term
• termination_द्वारा termination_by
• तखन then
• फेकब throw
• सत्य true
• प्रयास try
• बाइट UInt8
• रिक्त Unit
• अनजान unknown
• सिवाय unless
• ताधरि until
• वैध valid
• चर variable
• कतय where
• सँग with
• सँग_कमजोर_namespace with_weak_namespace