lean / keywords
77 entries at this level
- जोड_decl_doc add_decl_doc
- सगळें all
- आनी and
- अॅरे Array
- सिद्ध assert
- खात्री_न्हय_exists assert_not_exists
- खात्री_न्हय_imported assert_not_imported
- अतुल्यकालिक async
- द्विमान Bool
- खंडप break
- वरवीं by
- पकड catch
- अक्षर char
- अक्षर Char
- वर्ग class
- तुलना compare
- चालू continue
- decreasing_वरवीं decreasing_by
- मूळ_instance default_instance
- deprecated_घटक deprecated_module
- करप do
- docs_कडेन_verso docs_to_verso
- अंत end
- अंत_थळावें_व्याप्ती end_local_scope
- समान Eq
- चूक error
- निर्यात export
- वाडयता extends
- चूक failure
- असत्य false
- अंतीं finally
- दशांश Float
- खातीर for
- थावन from
- क्रमांक get
- मॅप HashMap
- संच HashSet
- जर if
- आयात import
- भितर in
- पूर्णांक Int
- अवैध invalid
- लांबाय length
- यादी List
- थळावें local
- जुळप match
- जुळप_expr match_expr
- कमाल max
- किमान min
- उरवणी mod
- घटक module
- नांव name
- ना_अनुक्रम no_index
- रित्तें none
- उगडप open
- वा or
- खाजगी private
- टपल Prod
- जाहीर public
- register_चूक_explanation register_error_explanation
- परतप return
- नेमप_option set_option
- लांबाय size
- अक्षरमाळ String
- tactic_नांव tactic_name
- कार्य Task
- termination_वरवीं termination_by
- उडय throw
- सत्य true
- प्रयत्न try
- byte UInt8
- शून्यता Unit
- वैध valid
- चल variable
- जोवरेन while
- सयत with
- सयत_weak_namespace with_weak_namespace