lean / keywords
109 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
- उम्मीद expected
- निर्यात export
- उघाड़णो expose
- बधाओ extends
- चूको failure
- असत्य false
- अन्तमें finally
- दशमलवांक Float
- खातर for
- सूं from
- मजो fun
- अनुक्रमांक get
- मैप HashMap
- समुच्च HashSet
- कन्नै have
- जे if
- आयात import
- मांय in
- उदाहरण instance
- पूर्णांक Int
- अवैध invalid
- लंबाई length
- चालो let
- चालो_delayed let_delayed
- चालो_expr let_expr
- चालो_मजो let_fun
- चालो_tmp let_tmp
- सूची List
- स्थानीय local
- macro_नियम macro_rules
- मिलाओ match
- मिलाओ_expr match_expr
- अधिकतम max
- न्यूनतम min
- शेष mod
- मॉड्यूल module
- नाम name
- ना_अनुक्रम no_index
- खाली none
- खोलो open
- या or
- निजी private
- टुपल Prod
- सार्वजनिक public
- बहीखाता_गलती_explanation register_error_explanation
- बहीखाता_parser_alias register_parser_alias
- बहीखाता_tactic_टैग register_tactic_tag
- लौटाओ 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
- वैध valid
- चर variable
- किजा where
- जदतक while
- साथै with
- साथै_माड़ो़_namespace with_weak_namespace