lean / keywords
82 entries at this level
- lisää_decl_doc add_decl_doc
- kaikki all
- ja and
- taulukko Array
- varmista assert
- varmista_eikä_exists assert_not_exists
- varmista_eikä_imported assert_not_imported
- asynkroninen async
- totuusarvo Bool
- katkaise break
- mukaan by
- ota catch
- merkki char
- merkki Char
- luokka class
- vertaa compare
- jatka continue
- declare_syntax_kissa declare_syntax_cat
- decreasing_mukaan decreasing_by
- oletus_instance default_instance
- deprecated_moduuli deprecated_module
- tee do
- docs_kohteeseen_verso docs_to_verso
- muuten else
- loppu end
- loppu_paikallinen_näkyvyysalue end_local_scope
- yhtäsuuri Eq
- virhe error
- vie export
- laajentaa extends
- epäonnistu failure
- epätosi false
- viimein finally
- float Float
- jokaiselle for
- lähteestä from
- indeksi get
- map HashMap
- joukko HashSet
- omistaa have
- jos if
- tuo import
- joukossa in
- int Int
- epävalidi invalid
- pituus length
- lista List
- paikallinen local
- täsmää match
- täsmää_expr match_expr
- maksimi max
- minimi min
- modulo mod
- moduuli module
- nimi name
- ei_indeksi no_index
- tyhjä none
- avaa open
- tai or
- yksityinen private
- monikko Prod
- julkinen public
- register_virhe_explanation register_error_explanation
- palauta return
- joukko_option set_option
- næüttææ show
- næüttææ_term_elab show_term_elab
- koko size
- merkkijono String
- tactic_nimi tactic_name
- tehtävä Task
- termination_mukaan termination_by
- heitä throw
- tosi true
- yritä try
- tavu UInt8
- mitätön Unit
- validi valid
- muuttuja variable
- kunnes while
- kanssa with
- kanssa_heikko_namespace with_weak_namespace