lean / keywords
82 entries at this level
- dodaj_decl_doc add_decl_doc
- wszystkie all
- oraz and
- tablica Array
- sprawdź assert
- zapewnij_negacja_exists assert_not_exists
- zapewnij_negacja_imported assert_not_imported
- asynchroniczny async
- logiczny Bool
- przerwij break
- według by
- złap catch
- znak char
- znak Char
- klasa class
- porównaj compare
- kontynuuj continue
- declare_syntax_kot declare_syntax_cat
- decreasing_według decreasing_by
- domyślny_instance default_instance
- deprecated_moduł deprecated_module
- wykonaj do
- docs_do_verso docs_to_verso
- inaczej else
- koniec end
- koniec_lokalny_zasięg end_local_scope
- równy Eq
- błąd error
- eksportuj export
- rozszerza extends
- niepowodzenie failure
- fałsz false
- zawsze finally
- float Float
- dla for
- od from
- indeks get
- mapa HashMap
- zbiór HashSet
- mieć have
- jeśli if
- importuj import
- w in
- int Int
- niepoprawny invalid
- długość length
- lista List
- lokalny local
- dopasuj match
- dopasuj_expr match_expr
- maximum max
- minimum min
- modulo mod
- moduł module
- nazwa name
- nie_indeks no_index
- brak none
- otwórz open
- lub or
- prywatny private
- krotka Prod
- publiczny public
- register_błąd_explanation register_error_explanation
- zwróć return
- zbiór_option set_option
- okazać show
- okazać_term_elab show_term_elab
- rozmiar size
- napis String
- tactic_nazwa tactic_name
- zadanie Task
- termination_według termination_by
- rzuć throw
- prawda true
- próbuj try
- bajt UInt8
- nic Unit
- poprawny valid
- zmienna variable
- dopóki while
- z with
- z_słaby_namespace with_weak_namespace