lean / keywords
78 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
- بولمىسا else
- ئاخىر end
- ئاخىر_يەرلىك_دائىرە end_local_scope
- تەڭ Eq
- خاتالىق error
- ئېكسپورت export
- كېڭەيتىدۇ extends
- مەغلۇب failure
- يالغان false
- تازىلا finally
- float Float
- ئۈچۈن for
- دىن from
- كۆرسەتكۈچ get
- خەرىتە HashMap
- توپلام HashSet
- ئەگەر if
- ئىمپورت import
- ئىچىدە in
- int 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