lean / keywords

108 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
• अक्षर Char
• वर्ग class
• तुलना compare
• जारी continue
• 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
• निरयात export
• उघारब expose
• बढ़ावौ extends
• असफल failure
• असत्य false
• अंततः finally
• दशमलव Float
• खातिर for
• से from
• मजा fun
• अंक get
• कोश HashMap
• समूह HashSet
• लगे have
• जदि if
• आयात import
• मा in
• मिलायक include
• उदाहरण 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_उपनाम register_tactic_tag
• दोहरावब repeat
• लौटावौ return
• हिस्सा section
• समुच्चय_उपाय set_option
• देखावब show
• देखावब_मियाद_elab show_term_elab
• लंबाई size
• छोड़ब skip
• छमा sorry
• वर्णमाला String
• रूप structure
• प्रतीक symbol
• tactic_फइलाव tactic_extension
• tactic_नाम tactic_name
• tactic_उपनाम tactic_tag
• कार्य Task
• मियाद term
• termination_से termination_by
• तब then
• फेंक throw
• सत्य true
• कोशिश try
• बाइट UInt8
• निराकार Unit
• अनजान unknown
• वैध valid
• चर variable
• कहाँ where
• जबतक while
• संग with
• संग_हप्ता_namespace with_weak_namespace