lean / keywords
106 entries at this level
- जोड़ीं_decl_doc add_decl_doc
- सभ all
- आ and
- सरणी Array
- जाँच assert
- assert_ना_exists assert_not_exists
- assert_ना_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
- अंत end
- अंत_स्थानीय_दायरा end_local_scope
- बराबर Eq
- गलती error
- उदाहरण example
- अपेक्षित expected
- निर्यात export
- बढ़ावे extends
- गलती failure
- असत्य false
- अंतमें finally
- दशमलवांक Float
- खातिर for
- से from
- मस्ती fun
- क्रमांक get
- मैप HashMap
- समुच्चय HashSet
- पास have
- जदी 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
- अनुशंसित_spelling recommended_spelling
- पंजी_त्रुटि_व्याख्या register_error_explanation
- पंजी_parser_alias register_parser_alias
- पंजी_tactic_घुंडी register_tactic_tag
- दुहरावऽ repeat
- लौटाईं return
- धारा section
- सेट_विकल्प set_option
- देखायीं show
- देखायीं_मियाद_elab show_term_elab
- लंबाई size
- अक्षरमाला String
- ढांचा structure
- प्रतीक symbol
- tactic_बढ़ावल tactic_extension
- tactic_नाम tactic_name
- tactic_घुंडी tactic_tag
- कार्य Task
- मियाद term
- termination_द्वारा termination_by
- तब then
- फेंक throw
- सत्य true
- कोशिश try
- बाइट UInt8
- रिक्त Unit
- अनजान unknown
- तबले until
- वैध valid
- चर variable
- कहाॅंं where
- जब while
- संगे with
- संगे_कमजोर_namespace with_weak_namespace