lean / keywords
96 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
- declare_syntax_बिल्ली declare_syntax_cat
- decreasing_ले decreasing_by
- कठिन_उदाहरण default_instance
- कर do
- docs_ला_verso docs_to_verso
- elab_नियम elab_rules
- नइते else
- अंत end
- अंत_स्थानीय_दायरा end_local_scope
- बरोबर Eq
- गलती error
- उदाहरण example
- बढ़ाथे extends
- गलती failure
- असत्य false
- अंतत finally
- दशमलवांक Float
- बर for
- ले from
- अनुक्रमांक get
- शब्दकोश HashMap
- समुच्चय HashSet
- ढिंगा have
- कहूँ if
- मा in
- मिलाना include
- उदाहरण instance
- पूरनांक Int
- अवैध invalid
- लंबाई length
- सूची List
- स्थानीय local
- macro_नियम macro_rules
- मिलान match
- मिलान_expr match_expr
- सबजादा max
- सबकम min
- शेष mod
- आपसी mutual
- नाँव name
- नइ_index no_index
- सून none
- खोल open
- या or
- निजी private
- युग्म Prod
- सार्वजनिक public
- रजिस्टर_गलती_स्पष्टीकरण register_error_explanation
- रजिस्टर_parser_alias register_parser_alias
- रजिस्टर_tactic_लेग register_tactic_tag
- दोहराव repeat
- लहुटा return
- भाग section
- set_विकल्प 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
- उठाव throw
- सत्य true
- जाँच try
- बाइट UInt8
- रिक्त Unit
- अज्ञात unknown
- वैध valid
- कंको where
- जबतक while
- संग with
- संग_weak_namespace with_weak_namespace