lean / keywords
78 entries at this level
- pridať_decl_doc add_decl_doc
- všetky all
- a and
- pole Array
- potvrď assert
- tvrdiť_nie_exists assert_not_exists
- tvrdiť_nie_imported assert_not_imported
- async
- logický Bool
- prerušiť break
- podľa by
- zachyť catch
- znak char
- znak Char
- trieda class
- porovnať compare
- pokračovať continue
- decreasing_podľa decreasing_by
- predvolené_instance default_instance
- deprecated_modul deprecated_module
- rob do
- docs_do_verso docs_to_verso
- inak else
- koniec end
- koniec_lokálny_rozsah end_local_scope
- rovný Eq
- chyba error
- exportovať export
- rozširuje extends
- zlyhaj failure
- nepravda false
- nakoniec finally
- float Float
- pre for
- z from
- index get
- slovník HashMap
- množina HashSet
- ak if
- importovať import
- v in
- int Int
- neplatný invalid
- dĺžka length
- zoznam List
- lokálny local
- zhoda match
- zhoda_expr match_expr
- maximum max
- minimum min
- modulo mod
- modul module
- meno name
- nie_index no_index
- nič none
- otvoriť open
- alebo or
- súkromný private
- tuple Prod
- verejný public
- register_chyba_explanation register_error_explanation
- vrátiť return
- množina_option set_option
- veľkosť size
- reťazec String
- tactic_meno tactic_name
- úloha Task
- termination_podľa termination_by
- vyhoď throw
- pravda true
- skús try
- bajt UInt8
- prázdno Unit
- platný valid
- premenná variable
- kým while
- s with
- s_weak_namespace with_weak_namespace