lean / keywords
71 entries at this level
- goş_decl_doc add_decl_doc
- ählisi all
- we and
- tertip Array
- tassykla assert
- tassykla_däl_exists assert_not_exists
- tassykla_däl_imported assert_not_imported
- asinqron async
- logiki Bool
- döw break
- bilen by
- tut catch
- simwol char
- nyşan Char
- klas class
- deňeşdir compare
- dowam continue
- decreasing_bilen decreasing_by
- deslapky_instance default_instance
- deprecated_modul deprecated_module
- et do
- bolmasa else
- ahyr end
- ahyr_ýerli_gerim end_local_scope
- deň Eq
- ýalňyş error
- eksport export
- giňeldýär extends
- şowsuz failure
- ýalňyş false
- ahyr finally
- float Float
- üçin for
- görkeziji get
- gorkezme HashMap
- toplum HashSet
- eger if
- int Int
- nädürs invalid
- uzynlyk length
- tertip List
- ýerli local
- gabat match
- gabat_expr match_expr
- iňköp max
- iňaz min
- galyndy mod
- modul module
- at name
- ýok_indeks no_index
- ýok none
- aç open
- ýa-da or
- topbag Prod
- register_ýalňyşlyk_explanation register_error_explanation
- gaýtar return
- köplük_option set_option
- ölçeg size
- setir String
- tactic_at tactic_name
- tabşyryk Task
- termination_bilen termination_by
- at throw
- dogry true
- synap try
- baýt UInt8
- boş Unit
- dürs valid
- üýtgeýän variable
- bilen with
- bilen_weak_namespace with_weak_namespace