lean / keywords
78 entries at this level
- dodaj_decl_doc add_decl_doc
- sve all
- i and
- niz Array
- potvrdi assert
- tvrdi_nije_exists assert_not_exists
- tvrdi_nije_imported assert_not_imported
- asinkrono async
- logički Bool
- prekini break
- po by
- uhvati catch
- znak char
- znak Char
- klasa class
- uporedi compare
- nastavi continue
- decreasing_po decreasing_by
- podrazumevano_instance default_instance
- deprecated_modul deprecated_module
- radi do
- docs_do_verso docs_to_verso
- inace else
- kraj end
- kraj_lokalno_opseg end_local_scope
- jednako Eq
- greška error
- izvezi export
- prosiruje extends
- neuspjeh failure
- netačno false
- napokon finally
- float Float
- za for
- iz from
- indeks get
- mapa HashMap
- skup HashSet
- ako if
- uvezi import
- u in
- int Int
- nevaljan invalid
- dužina length
- niz List
- lokalno local
- uskladi match
- uskladi_expr match_expr
- maksimum max
- minimum min
- modulo mod
- modul module
- ime name
- ne_indeks no_index
- ništa none
- otvori open
- ili or
- privatno private
- torka Prod
- javno public
- register_greska_explanation register_error_explanation
- vrati return
- skup_option set_option
- veličina size
- niz String
- tactic_ime tactic_name
- zadatak Task
- termination_po termination_by
- baci throw
- tačno true
- pokušaj try
- bajt UInt8
- praznina Unit
- valjan valid
- promenljiva variable
- dok while
- sa with
- sa_weak_namespace with_weak_namespace