lean / keywords
82 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
- declare_syntax_kótka declare_syntax_cat
- 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
- ímam have
- ако 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
- pokázvam show
- pokázvam_term_elab show_term_elab
- размер size
- низ String
- tactic_име tactic_name
- задача Task
- termination_по termination_by
- хвърли throw
- истина true
- опитай try
- байт UInt8
- празно Unit
- валиден valid
- променлива variable
- докато while
- с with
- с_sláb_namespace with_weak_namespace