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
- за 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
- бајт UInt8
- празнина Unit
- валиден valid
- променлива variable
- додека while
- со with
- со_weak_namespace with_weak_namespace